Ho provato il programma. Funziona bene ma continuo a non capire perché separare il processo di compilazione e di verifica degli errori in due fasi quando di default LaTeX produce un log del tutto simile a quello prodotto dal programma di cui parli (con in più utilissime informazioni tipografiche).
Non fa solo un controllo sintattico, ma anche di faccende come caratteri @ fuori posto, segni di punteggiatura preceduti da spazi, virgolette non bilanciate, e varie altre cose di cui la compilazione non tiene conto. Se provi a farlo girare sul file test.tex che viene incluso nel tar, puoi vedere ciò che fa.
Secondo la `man page’, è facile mandarlo in confusione se si definiscono comandi particolarmente complicati o se si usano costruzioni `Plain TeX’. Può essere utile, secondo me. Nella distribuzione di Wierda per Mac OS X è compreso. Non è però aggiornato dal 1998.
Ciao
Enrico