+matita.conf.xml
*.a
*.annot
autom4te.cache
matita.gladep.bak
matita.opt
matita.opt
+matitatop
+matitadep
+matitadep.opt
+matitaclean
+matitaclean.opt
+matitamake
+matitamake.opt
*.o
*.swp
+matita.conf.xml
+*.moo
+matita.conf.xml.sample
+gtkmathview.matita.conf.xml