31 Dicembre 2011 alle 14:18
#68212
::
Dunque, io avevo in effetti scaricato aggiornamenti, ma sembra che il mio attrezzo di base fosse ancora il Texlive 2010. Dunque mi ha reindirizzato a un aggiornamento manuale al texlive 2011 che sto facendo dal mirror di Roma. Quindi mi sa che ci riaggiorniamo tra un po 🙂
Se nel mentre Enrico ha qualche altro suggerimento, gliene sarei grato!