Gruppo Utilizzatori Italiani di TeX
Scusate, volevo aggiungere che probabilmente qualcosa è andato storto durante la procedura di aggiornamento. Infatti la rigenerazione del database dei nomi è una delle attività normali per tlmgr. Saluti. R.
