.cvsignore files removed (the svn:property property is used instead)

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
deleted file mode 100644 (file)
index 1f613f3..0000000
--- a/helm/matita/.cvsignore
+++ /dev/null
@@ -1,45 +0,0 @@
-*.a
-*.annot
-autom4te.cache
-buildTimeConf.ml
-cicbrowser
-cicbrowser.opt
-*.cma
-*.cmi
-*.cmo
-*.cmx
-*.cmxa
-config.log
-config.status
-configure
-.depend
-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
-matita.opt
-dump_moo
-dump_moo.opt
-matitatop
-*.moo
-*.o
-*.static
-*.swp
-*.upx

diff --git a/helm/matita/contribs/LAMBDA-TYPES/.cvsignore b/helm/matita/contribs/LAMBDA-TYPES/.cvsignore
deleted file mode 100644 (file)
index 6d473d4..0000000
--- a/helm/matita/contribs/LAMBDA-TYPES/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-.depend
-*.moo

diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore
deleted file mode 100644 (file)
index 6d473d4..0000000
--- a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-.depend
-*.moo

diff --git a/helm/matita/dist/static_link/.cvsignore b/helm/matita/dist/static_link/.cvsignore
deleted file mode 100644 (file)
index a922053..0000000
--- a/helm/matita/dist/static_link/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-static_link
-static_link.cmi
-static_link.cmo

diff --git a/helm/matita/library/.cvsignore b/helm/matita/library/.cvsignore
deleted file mode 100644 (file)
index 6d473d4..0000000
--- a/helm/matita/library/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-.depend
-*.moo

diff --git a/helm/matita/library/Z/.cvsignore b/helm/matita/library/Z/.cvsignore
deleted file mode 100644 (file)
index fcd4d92..0000000
--- a/helm/matita/library/Z/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.moo

diff --git a/helm/matita/library/datatypes/.cvsignore b/helm/matita/library/datatypes/.cvsignore
deleted file mode 100644 (file)
index fcd4d92..0000000
--- a/helm/matita/library/datatypes/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.moo

diff --git a/helm/matita/library/higher_order_defs/.cvsignore b/helm/matita/library/higher_order_defs/.cvsignore
deleted file mode 100644 (file)
index fcd4d92..0000000
--- a/helm/matita/library/higher_order_defs/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.moo

diff --git a/helm/matita/library/logic/.cvsignore b/helm/matita/library/logic/.cvsignore
deleted file mode 100644 (file)
index fcd4d92..0000000
--- a/helm/matita/library/logic/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.moo

diff --git a/helm/matita/library/nat/.cvsignore b/helm/matita/library/nat/.cvsignore
deleted file mode 100644 (file)
index fcd4d92..0000000
--- a/helm/matita/library/nat/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.moo

diff --git a/helm/matita/tests/.cvsignore b/helm/matita/tests/.cvsignore
deleted file mode 100644 (file)
index 4671378..0000000
--- a/helm/matita/tests/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-.depend

diff --git a/helm/matita/tests/bad_tests/.cvsignore b/helm/matita/tests/bad_tests/.cvsignore
deleted file mode 100644 (file)
index 4671378..0000000
--- a/helm/matita/tests/bad_tests/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-.depend

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
deleted file mode 100644 (file)
index 391243b..0000000
--- a/helm/ocaml/.cvsignore
+++ /dev/null
@@ -1,15 +0,0 @@
-Makefile
-Makefile.common
-autom4te.cache
-config.cache
-config.log
-config.status
-configure
-libraries.ps
-libraries-complete.ps
-.dep.dot
-.alldep.dot
-.clustersdep.dot
-.extdep.dot
-libraries-clusters.ps
-libraries-ext.ps

diff --git a/helm/ocaml/METAS/.cvsignore b/helm/ocaml/METAS/.cvsignore
deleted file mode 100644 (file)
index e4ee23c..0000000
--- a/helm/ocaml/METAS/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-META.*

diff --git a/helm/ocaml/acic_content/.cvsignore b/helm/ocaml/acic_content/.cvsignore
deleted file mode 100644 (file)
index 8d64a53..0000000
--- a/helm/ocaml/acic_content/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.cm[iaox]
-*.cmxa

diff --git a/helm/ocaml/cic/.cvsignore b/helm/ocaml/cic/.cvsignore
deleted file mode 100644 (file)
index fa6ba7b..0000000
--- a/helm/ocaml/cic/.cvsignore
+++ /dev/null
@@ -1,4 +0,0 @@
-*.cm[iaox]
-*.cmxa
-test
-test.opt

diff --git a/helm/ocaml/cic_acic/.cvsignore b/helm/ocaml/cic_acic/.cvsignore
deleted file mode 100644 (file)
index 8d64a53..0000000
--- a/helm/ocaml/cic_acic/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.cm[iaox]
-*.cmxa

diff --git a/helm/ocaml/cic_disambiguation/.cvsignore b/helm/ocaml/cic_disambiguation/.cvsignore
deleted file mode 100644 (file)
index 93ed7a8..0000000
--- a/helm/ocaml/cic_disambiguation/.cvsignore
+++ /dev/null
@@ -1,5 +0,0 @@
-*.cm[aiox] *.cmxa *.[ao]
-test_lexer
-test_parser
-macro_table.ml
-make_table

diff --git a/helm/ocaml/cic_proof_checking/.cvsignore b/helm/ocaml/cic_proof_checking/.cvsignore
deleted file mode 100644 (file)
index 333bd15..0000000
--- a/helm/ocaml/cic_proof_checking/.cvsignore
+++ /dev/null
@@ -1,4 +0,0 @@
-*.cm[iaox] *.cmxa
-cicReduction.ml
-.dep.dot
-cic_proof_checking.ps

diff --git a/helm/ocaml/cic_proof_checking/utilities/.cvsignore b/helm/ocaml/cic_proof_checking/utilities/.cvsignore
deleted file mode 100644 (file)
index 3998fcc..0000000
--- a/helm/ocaml/cic_proof_checking/utilities/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.cm[iaox] *.cmxa
-create_environment
-create_environment.opt
-list_uris
-list_uris.opt
-parse_library
-parse_library.opt

diff --git a/helm/ocaml/cic_unification/.cvsignore b/helm/ocaml/cic_unification/.cvsignore
deleted file mode 100644 (file)
index 6b3eba3..0000000
--- a/helm/ocaml/cic_unification/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cm[iaox] *.cmxa

diff --git a/helm/ocaml/content_pres/.cvsignore b/helm/ocaml/content_pres/.cvsignore
deleted file mode 100644 (file)
index ce13c76..0000000
--- a/helm/ocaml/content_pres/.cvsignore
+++ /dev/null
@@ -1,4 +0,0 @@
-*.cm[iaox]
-*.cmxa
-test_lexer
-test_lexer.opt

diff --git a/helm/ocaml/extlib/.cvsignore b/helm/ocaml/extlib/.cvsignore
deleted file mode 100644 (file)
index 8d64a53..0000000
--- a/helm/ocaml/extlib/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.cm[iaox]
-*.cmxa

diff --git a/helm/ocaml/getter/.cvsignore b/helm/ocaml/getter/.cvsignore
deleted file mode 100644 (file)
index 806547a..0000000
--- a/helm/ocaml/getter/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.cm[iaox] *.cmxa
-test

diff --git a/helm/ocaml/grafite/.cvsignore b/helm/ocaml/grafite/.cvsignore
deleted file mode 100644 (file)
index 8697eb7..0000000
--- a/helm/ocaml/grafite/.cvsignore
+++ /dev/null
@@ -1,5 +0,0 @@
-*.cm[iaox]
-*.cmxa
-test_dep
-test_parser
-print_grammar

diff --git a/helm/ocaml/grafite_engine/.cvsignore b/helm/ocaml/grafite_engine/.cvsignore
deleted file mode 100644 (file)
index 8697eb7..0000000
--- a/helm/ocaml/grafite_engine/.cvsignore
+++ /dev/null
@@ -1,5 +0,0 @@
-*.cm[iaox]
-*.cmxa
-test_dep
-test_parser
-print_grammar

diff --git a/helm/ocaml/grafite_parser/.cvsignore b/helm/ocaml/grafite_parser/.cvsignore
deleted file mode 100644 (file)
index 8697eb7..0000000
--- a/helm/ocaml/grafite_parser/.cvsignore
+++ /dev/null
@@ -1,5 +0,0 @@
-*.cm[iaox]
-*.cmxa
-test_dep
-test_parser
-print_grammar

diff --git a/helm/ocaml/hbugs/.cvsignore b/helm/ocaml/hbugs/.cvsignore
deleted file mode 100644 (file)
index ee95e49..0000000
--- a/helm/ocaml/hbugs/.cvsignore
+++ /dev/null
@@ -1,9 +0,0 @@
-hbugs_client_gui.ml
-hbugs_client_gui.mli
-.generated_tutors.ml
-.tutors.ml
-*.cma
-*.cmi
-*.cmo
-*.cmx
-*.cmxa

diff --git a/helm/ocaml/hbugs/data/.cvsignore b/helm/ocaml/hbugs/data/.cvsignore
deleted file mode 100644 (file)
index 1fa56db..0000000
--- a/helm/ocaml/hbugs/data/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.environment

diff --git a/helm/ocaml/hbugs/doc/.cvsignore b/helm/ocaml/hbugs/doc/.cvsignore
deleted file mode 100644 (file)
index 743328e..0000000
--- a/helm/ocaml/hbugs/doc/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.dia~

diff --git a/helm/ocaml/hbugs/run/.cvsignore b/helm/ocaml/hbugs/run/.cvsignore
deleted file mode 100644 (file)
index 397b4a7..0000000
--- a/helm/ocaml/hbugs/run/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.log

diff --git a/helm/ocaml/hbugs/test/.cvsignore b/helm/ocaml/hbugs/test/.cvsignore
deleted file mode 100644 (file)
index d9ed070..0000000
--- a/helm/ocaml/hbugs/test/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.cmi
-*.cmo
-*.cma
-*.cmx
-*.o
-*.a
-test_serialization

diff --git a/helm/ocaml/hgdome/.cvsignore b/helm/ocaml/hgdome/.cvsignore
deleted file mode 100644 (file)
index 8d64a53..0000000
--- a/helm/ocaml/hgdome/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.cm[iaox]
-*.cmxa

diff --git a/helm/ocaml/hmysql/.cvsignore b/helm/ocaml/hmysql/.cvsignore
deleted file mode 100644 (file)
index 8d64a53..0000000
--- a/helm/ocaml/hmysql/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.cm[iaox]
-*.cmxa

diff --git a/helm/ocaml/lexicon/.cvsignore b/helm/ocaml/lexicon/.cvsignore
deleted file mode 100644 (file)
index f83e2a8..0000000
--- a/helm/ocaml/lexicon/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.cmi
-*.cma
-*.cmo
-*.cmx
-*.cmxa
-*.o
-*.a

diff --git a/helm/ocaml/library/.cvsignore b/helm/ocaml/library/.cvsignore
deleted file mode 100644 (file)
index f83e2a8..0000000
--- a/helm/ocaml/library/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.cmi
-*.cma
-*.cmo
-*.cmx
-*.cmxa
-*.o
-*.a

diff --git a/helm/ocaml/logger/.cvsignore b/helm/ocaml/logger/.cvsignore
deleted file mode 100644 (file)
index f5a6b2e..0000000
--- a/helm/ocaml/logger/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.cma
-*.cmo
-*.cmx
-*.cmi
-*.cmxa
-*.a
-*.o

diff --git a/helm/ocaml/mathql/.cvsignore b/helm/ocaml/mathql/.cvsignore
deleted file mode 100644 (file)
index 6b3eba3..0000000
--- a/helm/ocaml/mathql/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cm[iaox] *.cmxa

diff --git a/helm/ocaml/mathql_generator/.cvsignore b/helm/ocaml/mathql_generator/.cvsignore
deleted file mode 100644 (file)
index 539f5b5..0000000
--- a/helm/ocaml/mathql_generator/.cvsignore
+++ /dev/null
@@ -1,5 +0,0 @@
-*.cmi
-*.cmo
-*.cma
-*.cmx
-*.cmxa

diff --git a/helm/ocaml/mathql_interpreter/.cvsignore b/helm/ocaml/mathql_interpreter/.cvsignore
deleted file mode 100644 (file)
index cd9b591..0000000
--- a/helm/ocaml/mathql_interpreter/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cm[iaox] *.cmxa mQueryTLexer.ml mQueryTParser.ml mQueryTParser.mli

diff --git a/helm/ocaml/metadata/.cvsignore b/helm/ocaml/metadata/.cvsignore
deleted file mode 100644 (file)
index 702e58b..0000000
--- a/helm/ocaml/metadata/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.cm[aiox] *.cmxa *.[ao]
-test

diff --git a/helm/ocaml/metadata/extractor/.cvsignore b/helm/ocaml/metadata/extractor/.cvsignore
deleted file mode 100644 (file)
index 8d81020..0000000
--- a/helm/ocaml/metadata/extractor/.cvsignore
+++ /dev/null
@@ -1,6 +0,0 @@
-*.cm[aiox]
-*.cmxa
-extractor
-extractor.opt
-extractor_manager
-extractor_manager.opt

diff --git a/helm/ocaml/metadata/table_creator/.cvsignore b/helm/ocaml/metadata/table_creator/.cvsignore
deleted file mode 100644 (file)
index acea566..0000000
--- a/helm/ocaml/metadata/table_creator/.cvsignore
+++ /dev/null
@@ -1,6 +0,0 @@
-*.cm[aiox]
-*.cmxa
-table_creator
-table_creator.opt
-table_destructor
-table_destructor.opt

diff --git a/helm/ocaml/paramodulation/.cvsignore b/helm/ocaml/paramodulation/.cvsignore
deleted file mode 100644 (file)
index b853672..0000000
--- a/helm/ocaml/paramodulation/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-*.cm[iaox] *.cmxa
-saturate
-saturate.opt

diff --git a/helm/ocaml/registry/.cvsignore b/helm/ocaml/registry/.cvsignore
deleted file mode 100644 (file)
index f72bbdf..0000000
--- a/helm/ocaml/registry/.cvsignore
+++ /dev/null
@@ -1,8 +0,0 @@
-*.a
-*.cma
-*.cmi
-*.cmo
-*.cmxa
-*.o
-*.cmx
-test

diff --git a/helm/ocaml/tactics/.cvsignore b/helm/ocaml/tactics/.cvsignore
deleted file mode 100644 (file)
index 8d98e3e..0000000
--- a/helm/ocaml/tactics/.cvsignore
+++ /dev/null
@@ -1,9 +0,0 @@
-*.cmi
-*.cma
-*.cmo
-*.cmx
-*.cmxa
-*.o
-*.a
-.dep.dot
-tactics.ps

diff --git a/helm/ocaml/tactics/doc/.cvsignore b/helm/ocaml/tactics/doc/.cvsignore
deleted file mode 100644 (file)
index 583537c..0000000
--- a/helm/ocaml/tactics/doc/.cvsignore
+++ /dev/null
@@ -1,6 +0,0 @@
-main.aux
-main.dvi
-main.log
-main.out
-main.pdf
-main.ps

diff --git a/helm/ocaml/thread/.cvsignore b/helm/ocaml/thread/.cvsignore
deleted file mode 100644 (file)
index 88689d9..0000000
--- a/helm/ocaml/thread/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cm[iaox] *.cmxa *.[ao]

diff --git a/helm/ocaml/thread/fake/.cvsignore b/helm/ocaml/thread/fake/.cvsignore
deleted file mode 100644 (file)
index 88689d9..0000000
--- a/helm/ocaml/thread/fake/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cm[iaox] *.cmxa *.[ao]

diff --git a/helm/ocaml/urimanager/.cvsignore b/helm/ocaml/urimanager/.cvsignore
deleted file mode 100644 (file)
index 6b3eba3..0000000
--- a/helm/ocaml/urimanager/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cm[iaox] *.cmxa

diff --git a/helm/ocaml/utf8_macros/.cvsignore b/helm/ocaml/utf8_macros/.cvsignore
deleted file mode 100644 (file)
index 0c5eea4..0000000
--- a/helm/ocaml/utf8_macros/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-*.cm[iaox] *.cmxa
-make_table
-test

diff --git a/helm/ocaml/whelp/.cvsignore b/helm/ocaml/whelp/.cvsignore
deleted file mode 100644 (file)
index 780c011..0000000
--- a/helm/ocaml/whelp/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.a
-*.cma
-*.cmi
-*.cmo
-*.cmx
-*.cmxa
-*.o

diff --git a/helm/ocaml/xml/.cvsignore b/helm/ocaml/xml/.cvsignore
deleted file mode 100644 (file)
index ee12686..0000000
--- a/helm/ocaml/xml/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-*.cm[iaox] *.cmxa
-test
-test.opt

diff --git a/helm/ocaml/xmldiff/.cvsignore b/helm/ocaml/xmldiff/.cvsignore
deleted file mode 100644 (file)
index 6b3eba3..0000000
--- a/helm/ocaml/xmldiff/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cm[iaox] *.cmxa