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