11 Luglio 2004 alle 12:52
#3581
::
Probabilmente il problema è nella mia versione di xdvi, che è la xdvik 22.40.
Ho scaricato la versione 22.78 da CTAN, più recente, ma la procedura di installazione descritta sul sito ufficiale di xdvik per me è troppo complicata, non ci capisco un’acca. 😯 Qualcuno può aiutarmi in tal senso?
Rodolfo