*.o
*.a
*.cmx
*.cmo
*.cmi
*.cmxa
*.cma

*~

_build
*.native

matita/Makefile.defs
matita/autom4te.cache
matita/components/METAS/META*
matita/config.log
matita/configure

matita/components/extlib/componentsConf.ml
matita/matita/matitaGeneratedGui.ml
matita/matita/matita.conf.xml
matita/matita/buildTimeConf.ml
matita/matita/matita.glade.utf8
matita/depend-stamp
matita/config.status

matita/matita/matita
matita/matita/matitac
matita/matita/matita.opt
matita/matita/matitac.opt
matita/matita/matitaclean
matita/matita/matitaclean.opt

matita/matita/help/C/version.txt

matita/matita/contribs/lambdadelta/token
matita/matita/contribs/lambdadelta/2A1
matita/matita/contribs/lambdadelta/apps_2/notation
matita/matita/contribs/lambdadelta/apps_2/models
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa2.ma
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation2.ma