Re: dvi e pdf non vengono aggiornati: 0 page(s)

Era una problema di aggiornamento di microtype: ora “funziona”.
Grazie!

m.

Modifica
Prova ad aggiornare i pacchetti, se ancora non “funziona”.