X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=db41158dead619952d1ecd8eb138f0bca6278480;hb=f7d04edd37b51a7daa4e372be9439163f92648b6;hp=ef69ec2b79c4cb2e5aa9d7f9fa492685f43bdf49;hpb=c5d4ad1c98c1434b95a8a9b1c8697dd36cf39623;p=helm.git

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index ef69ec2b7..db41158de 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -1,11 +1,44 @@
-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
+dump_moo
+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
-*.cm[aiox]
-*.cmxa
-*.[ao]
+matita.opt
+matitatop
+*.moo
+*.o
+*.static
+*.swp
+*.upx