::
Miticissimo!
Grazie!
TexLive, però, è del 2007, e non ha gli ultimi pacchetti… vabbè.
Il fatto è che non ho la rete a casa, e devo scaricarli al lavoro e poi installarli.
E già non è un’operazione immediata in Win, figuriamoci in Linux…
Grazie ancora.
Tommaso
