ocaml 3.09 transition

[helm.git] / helm / matita / .cvsignore

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 381f91c1a01190cad9e3c7323dba5f1116916afd..1f613f38a801c5be3da3389a24bb1a17f83b899f 100644 (file)
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -1,13 +1,45 @@
-Makefile
+*.a
+*.annot
+autom4te.cache
 buildTimeConf.ml
+cicbrowser
+cicbrowser.opt
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+config.log
 config.status
 configure
-config.log
-autom4te.cache
+.depend
+gtkmathview.matita.conf.xml
+Makefile
 matita
-matita.opt
+.matita
 matitac
+matitaclean
+matitaclean.opt
+matita.conf.xml
+matita.conf.xml
+matita.conf.xml.sample
 matitac.opt
-*.cm[aiox]
-*.cmxa
-*.[ao]
+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
+*.moo
+*.o
+*.static
+*.swp
+*.upx