Ciao popolo di scrittori! Ho scoperto l'esistenza di un tool carino per chi scrive in Tex o vuole cominciare. Si chiama "texdoctk" (per i debianari: è compreso nel pacchetto "tetex-extra") e mostra la documentazione Tex con le gtk, con una bella interfaccia a pulsantoni (parzialmente configurabile) e la possibilità di stampare direttamente il pezzo che interessa. Ovviamente la documentazione è scritta in Tex, quindi l'output è generato in dvi. Statemi bene, Chris. -- Ordinariamente, la mente umana lavora solo per il dieci percento delle sue capacita' -- il resto e' overhead del sistema operativo.