Gruppo Utilizzatori Italiani di TeX
La versione di texdoc che ho installata è appunto la 0.72…
Attendiamo fiduciosi Tommaso.
Ciao Tommaso
