-matita.conf.xml
*.a
*.annot
autom4te.cache
config.status
configure
.depend
+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
+dump_moo
+dump_moo.opt
matitatop
-matitadep
-matitadep.opt
-matitaclean
-matitaclean.opt
+*.moo
*.o
+*.static
*.swp
-matita.conf.xml
-*.moo
+*.upx