Gruppo Utilizzatori Italiani di TeX
Purtroppo è proprio quello che ho fatto… alla fine anche io uso l’espediente di copiare il contenuto del dizionario italiano in quello inglese e selezionando quello va.. misteri. Anyway grazie molte.
