Gruppo Utilizzatori Italiani di TeX
purtroppo nel menù “Opzioni” c’è solo il menù di configurazione che ho descritto precedentemente che è causa del mio problema…
Sembra come se dovessi cercare dei file nella distribuzione di TexLive che ho installato…ma dove???