1 transf.ml
2 texquote2
3 htmltransf.ml
4 transf
5 htmlgen
6 htmlquote
7 latexscan.ml
8 dvi2txt
9 *.dSYM
10 *.cm[io]
11 *.o
12