[…]
Caro Antonio,
grazie mille per le tue indicazioni.
Come ho specificato qui sopra nel messaggio per Agostino c’è qualcosa che continua a non funzionare perché non riesco a salvare il file con l’estensione .dn.
Mi hai scritto che devo crearlo manualmente: ma come?
Lavoro in Windows e quando devo salvare il file nella mia cartella C:DocumentiLatTeX che mi sono creato mi si apre la finestrella ma tra le estensioni per come salvare i file non trovo .dn. Eppure Velthuis è stato installato seguendo le indicazioni riportate qui sopra…
Dov’è il problema secondo te?Grazie mille!!!
P.
Un modo semplice: apri il “Blocco note” di Windows, scrivi
`{\dn .o tatsat}`
e quando vai a registrare il file sul tuo hard disk (Salva con nome…), scegli l’opzione “Salva come:” e scrivi verso1.dn (l’estensione .dn deve prendere il posto dell’estensione .txt: la devi specificare — scrivere — tu, l’editor non la inserisce in automatico).
Puoi anche registrare il codice
`{\dn .o tatsat}`
come semplice file di testo, quindi con estensione .txt, quella che il “Blocco note” usa come impostazione predefinita. Rinominare quindi il file da verso1.txt a verso1.dn.
Lo stesso risultato si ottiene anche con altri editor (TeXworks, TexMakerX, Notepad++, SciTE, …), in modo simile. Bada che in Windows sia abilitata l’opzione che consente di mostrare l’estensione dei file.
Ciao
Antonio