Led non è così sgalfio da non poter compilare il file PDF, perché il tasto pdflatex ce l’ha; laveva persino 10 anni fa quando l’ho provato e forse ce l’ho ancora montato nel mio vecchio rudere un PC x386 che non uso più da quando sono in pensione (3 anni fa).
Ma la soluzione è quella di dotarti di un font end adeguato; butta Led nel ….
Se non vuoi stare a scaricare e installare i front end che ti ho suggerito, allora cerca nelle sottocartelle di Windows il file texworks.exe; crea una scorciatoia e trascinala sul desktop. cliccaci sopra, apri il file di prova che hai già usato, e clicca il bottone verde che si trova nella scermata di TeXworks in alto a sinistra: non solo ti compila il documento in pdf, ma ti apre subito anche il visore pdf che ti mostra subito il risultato; se poi leggi un poco il suo manuale impari anche come spostare il cursore da una finestra all’altra praticamante negli stessi punti corrsipondenti fara file sorgente e file pdf.
il file dvi è un file che usa un particolare linguaggio di Page Description Language, che dovrebbe essere indipendente dal particolare hardware con cui vedi o stampi il contenuto; ricorre ai font a matrici di pixel, è datato, non consente la buona visualizzazione completa dei file grafici inclusi nel documento, che devono essere solo e soltanto in formato eps.
Il formato pdf ricorre ad una altro tipo di Page Description Language; questi file sono portabili su qualunque macchina, consentono l’uso dei collegamenti ipertestuali, contengono i font vettoriali, non dipendono dall’harware della macchina, sono leggibili a schermo e sono stampabili su qualunque dispositivo. A parte TeXworks che è dotato del suo lettore di file pdf interno, questo tipo di file è leggibile e stampabile usando una miriade di sofware diversi, dal primogenitore Adobe Reader (gratuito; e ovviamante anche da molti altri prodotti commerciali dell’Adobe), agli altri software gratuiti come xpdf, SumatraPDF, persino a gview (ghostview, gv, ecc) che oltre a consentirre di leggere e stampare i file PostScript consente anche di leggere e stampare i file pdf. gview dovrebbe essere stato installato insieme a TeX Live, se non l’avevi già di tuo.
Ti garantisco che i pdf oggi sono di fatto lo standard per tutti i documenti; hanno il “difetto” che non sono modificabili o lo sono in modo più o meno ridotto a seconda di quanto si sia disposti a pagare per avere del software commerciale che ne consenta l’editing completo. Non sono come il formato doc o xdoc di Word che può sempre venire riaperto e modificato da chiunque disponga di Word.
Tutti i sistemi operativi Windows, Linux e Mac dispongono di loro visualizzatori di file PDF, per cui se invii un file pdf come allegato di posta elettronica, chiunque è capace di aprilo e di leggerlo. un file dvi non è così versatile e all’occorrenza deve essere convertito in file pdf mediante programmi come dvipdfm(x) o dvips+ps2pdf.
Non sto facendo recalme a nessuno; semplicemente io non uso più il formato dvi da anni; o meglio, no, l’ultima volta che l’ho usato era meno di 24 ore fa, e per vedere se il tuo file era a posto 🙂