X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=f2145f0339ee1649e25b473a2ebe3d583f54796b;hb=6cf15c86b051582032c794f7da8a325e31fc0480;hp=381f91c1a01190cad9e3c7323dba5f1116916afd;hpb=ac813b7e251e4bac1a8a16befa628203775771ca;p=helm.git

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 381f91c1a..f2145f033 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -1,13 +1,32 @@
-Makefile
+matita.conf.xml
+*.a
+*.annot
+autom4te.cache
 buildTimeConf.ml
+cicbrowser
+cicbrowser.opt
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+config.log
 config.status
 configure
-config.log
-autom4te.cache
+.depend
+Makefile
 matita
-matita.opt
+.matita
 matitac
 matitac.opt
-*.cm[aiox]
-*.cmxa
-*.[ao]
+matitaGeneratedGui.ml
+matitaGeneratedGui.mli
+matita.glade.bak
+matita.gladep
+matita.gladep.bak
+matita.opt
+matita.opt
+matitatop
+matitadep
+*.o
+*.swp