*.a
*.annot
autom4te.cache
buildTimeConf.ml
cicbrowser
cicbrowser.opt
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
config.log
config.status
configure
.depend
dump_moo
gtkmathview.matita.conf.xml
Makefile
matita
.matita
matitac
matitaclean
matitaclean.opt
matita.conf.xml
matita.conf.xml
matita.conf.xml.sample
matitac.opt
matitadep
matitadep.opt
matitaGeneratedGui.ml
matitaGeneratedGui.mli
matita.glade.bak
matita.gladep
matita.gladep.bak
matitamake
matitamake.opt
matita.opt
matita.opt
matitatop
*.moo
*.o
*.static
*.swp
*.upx