]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/.cvsignore
+matita.conf.xml
+*.a
+*.annot
+autom4te.cache
+cicbrowser
+cicbrowser.opt
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+config.log
-config.log
-autom4te.cache
-*.cm[aiox]
-*.cmxa
-*.[ao]
+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
+matita.conf.xml
+*.moo
+matita.conf.xml.sample