*.cmo *.cmi 
formlex.ml formsyn.mli formsyn.ml
main.tex *.log *.aux *.blg *.bbl .tex* main.ps
main
