Script di formattazione

[Luca Baldini]

Sospetto che sarebbe comodo (i.e., per lo spell-checking, o anche semplicemente per uniformita`) avere uno script in grado di processare i sorgenti e fare operazioni del tipo

\`e -> è

‌