snapshot (first version in which some extensions work, e.g. infix +)

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

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index ef69ec2b79c4cb2e5aa9d7f9fa492685f43bdf49..004b4c5b878619ce7c0ed9d3fd4af0209fa6d3e2 100644 (file)
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -1,11 +1,29 @@
-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
+Makefile
 matita
+.matita
+matitac
+matitac.opt
+matitaGeneratedGui.ml
+matitaGeneratedGui.mli
+matita.glade.bak
+matita.gladep
+matita.gladep.bak
 matita.opt
-*.cm[aiox]
-*.cmxa
-*.[ao]
+matita.opt
+*.o
+*.swp