aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--.cvsignore10
-rw-r--r--bin/.cvsignore21
-rw-r--r--config/.cvsignore2
-rw-r--r--contrib/.cvsignore1
-rw-r--r--contrib/cc/.cvsignore1
-rw-r--r--contrib/correctness/.cvsignore2
-rw-r--r--contrib/dp/.cvsignore2
-rw-r--r--contrib/extraction/.cvsignore1
-rw-r--r--contrib/extraction/test/.cvsignore9
-rw-r--r--contrib/field/.cvsignore1
-rw-r--r--contrib/fourier/.cvsignore1
-rw-r--r--contrib/funind/.cvsignore1
-rw-r--r--contrib/omega/.cvsignore1
-rw-r--r--contrib/ring/.cvsignore1
-rw-r--r--contrib/romega/.cvsignore1
-rw-r--r--dev/.cvsignore3
-rw-r--r--dev/doc/.cvsignore1
-rw-r--r--distrib/.cvsignore17
-rw-r--r--distrib/MacOS-X/.cvsignore3
-rw-r--r--distrib/RH/.cvsignore3
-rw-r--r--ide/.cvsignore15
-rw-r--r--ide/utils/.cvsignore1
-rw-r--r--kernel/.cvsignore1
-rw-r--r--kernel/byterun/.cvsignore1
-rw-r--r--parsing/.cvsignore12
-rw-r--r--scripts/.cvsignore3
-rw-r--r--states/.cvsignore1
-rw-r--r--tactics/.cvsignore1
-rw-r--r--test-suite/failure/.cvsignore1
-rw-r--r--test-suite/success/.cvsignore1
-rw-r--r--theories/Arith/.cvsignore1
-rw-r--r--theories/Bool/.cvsignore1
-rw-r--r--theories/Init/.cvsignore1
-rw-r--r--theories/IntMap/.cvsignore1
-rw-r--r--theories/Lists/.cvsignore1
-rw-r--r--theories/Logic/.cvsignore1
-rw-r--r--theories/NArith/.cvsignore1
-rw-r--r--theories/Num/.cvsignore1
-rw-r--r--theories/Reals/.cvsignore1
-rw-r--r--theories/Relations/.cvsignore1
-rw-r--r--theories/Setoids/.cvsignore1
-rw-r--r--theories/Sets/.cvsignore1
-rw-r--r--theories/Sorting/.cvsignore1
-rw-r--r--theories/Wellfounded/.cvsignore1
-rw-r--r--theories/ZArith/.cvsignore1
-rw-r--r--tools/.cvsignore7
-rw-r--r--tools/coqdoc/.cvsignore2
-rw-r--r--toplevel/.cvsignore3
48 files changed, 0 insertions, 146 deletions
diff --git a/.cvsignore b/.cvsignore
deleted file mode 100644
index d967058e1..000000000
--- a/.cvsignore
+++ /dev/null
@@ -1,10 +0,0 @@
-coqtop.byte
-coqtop
-minicoq
-coqtop.opt
-glob.dump
-tmp
-.depend.devel
-newtheories
-newcontrib
-*.v8
diff --git a/bin/.cvsignore b/bin/.cvsignore
deleted file mode 100644
index 8a0fce7d0..000000000
--- a/bin/.cvsignore
+++ /dev/null
@@ -1,21 +0,0 @@
-coqc
-coqmktop
-coqtop.byte
-coqtop.opt
-minicoq
-coqdep
-coq_makefile
-gallina
-coq-tex
-coq-extraction
-coq-interface
-parser
-parser.opt
-coq_vo2xml
-coq-interface.opt
-coqide.byte
-coqide.opt
-coqtopnew.opt
-coqtopnew.byte
-coqwc
-coqdoc
diff --git a/config/.cvsignore b/config/.cvsignore
deleted file mode 100644
index 0fb99f419..000000000
--- a/config/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-Makefile
-coq_config.ml
diff --git a/contrib/.cvsignore b/contrib/.cvsignore
deleted file mode 100644
index 7835a7915..000000000
--- a/contrib/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-why
diff --git a/contrib/cc/.cvsignore b/contrib/cc/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/cc/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/contrib/correctness/.cvsignore b/contrib/correctness/.cvsignore
deleted file mode 100644
index 9408ea1c8..000000000
--- a/contrib/correctness/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-psyntax.ppo
-*.v8
diff --git a/contrib/dp/.cvsignore b/contrib/dp/.cvsignore
deleted file mode 100644
index 27102315a..000000000
--- a/contrib/dp/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-test.why
-test_why*
diff --git a/contrib/extraction/.cvsignore b/contrib/extraction/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/extraction/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/contrib/extraction/test/.cvsignore b/contrib/extraction/test/.cvsignore
deleted file mode 100644
index 20414aab5..000000000
--- a/contrib/extraction/test/.cvsignore
+++ /dev/null
@@ -1,9 +0,0 @@
-theories
-ml2v
-v2ml
-hs2v
-v2hs
-log
-*.hi
-*.hs
-*.hc
diff --git a/contrib/field/.cvsignore b/contrib/field/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/field/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/contrib/fourier/.cvsignore b/contrib/fourier/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/fourier/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/contrib/funind/.cvsignore b/contrib/funind/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/funind/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/contrib/omega/.cvsignore b/contrib/omega/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/omega/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/contrib/ring/.cvsignore b/contrib/ring/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/ring/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/contrib/romega/.cvsignore b/contrib/romega/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/contrib/romega/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/dev/.cvsignore b/dev/.cvsignore
deleted file mode 100644
index 48df47380..000000000
--- a/dev/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-other
-ocamldebug-coq
-debug_*
diff --git a/dev/doc/.cvsignore b/dev/doc/.cvsignore
deleted file mode 100644
index 4f4a6839e..000000000
--- a/dev/doc/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-coq.tex
diff --git a/distrib/.cvsignore b/distrib/.cvsignore
deleted file mode 100644
index 46e8aed30..000000000
--- a/distrib/.cvsignore
+++ /dev/null
@@ -1,17 +0,0 @@
-rpmbuildroot
-i386
-tar-i386
-sun4
-alpha
-apx
-alpha
-ppc
-redhat
-config.distrib
-coq-*
-contrib-*
-patch-*
-deb_build
-coq_*
-sun4u
-*.rpm
diff --git a/distrib/MacOS-X/.cvsignore b/distrib/MacOS-X/.cvsignore
deleted file mode 100644
index 9234978d4..000000000
--- a/distrib/MacOS-X/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-coq-*
-buildroot
-Resources
diff --git a/distrib/RH/.cvsignore b/distrib/RH/.cvsignore
deleted file mode 100644
index 7e1d30b7b..000000000
--- a/distrib/RH/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-build src
-rpmmacros rpmrc
-coq-*
diff --git a/ide/.cvsignore b/ide/.cvsignore
deleted file mode 100644
index d047db846..000000000
--- a/ide/.cvsignore
+++ /dev/null
@@ -1,15 +0,0 @@
-lexer.ml
-why_viewer
-.depend
-find_phrase.ml
-highlight.ml
-coqide
-Makefile
-test
-config_lexer.ml
-*.crashcoqide
-config_parser.mli
-config_parser.ml
-utf8_convert.ml
-*.v8
-undo.mli
diff --git a/ide/utils/.cvsignore b/ide/utils/.cvsignore
deleted file mode 100644
index 7431b908b..000000000
--- a/ide/utils/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-example.ml
diff --git a/kernel/.cvsignore b/kernel/.cvsignore
deleted file mode 100644
index 81f20377e..000000000
--- a/kernel/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-copcodes.ml
diff --git a/kernel/byterun/.cvsignore b/kernel/byterun/.cvsignore
deleted file mode 100644
index bc5f347b0..000000000
--- a/kernel/byterun/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-coq_jumptbl.h
diff --git a/parsing/.cvsignore b/parsing/.cvsignore
deleted file mode 100644
index a2e50565c..000000000
--- a/parsing/.cvsignore
+++ /dev/null
@@ -1,12 +0,0 @@
-lexer.ml
-*.ppo
-pcoq.ml
-g_prim.ml
-q_coqast.ml
-g_basevernac.ml
-g_vernac.ml
-g_tactic.ml
-g_constr.ml
-g_cases.ml
-g_proofs.ml
-g_minicoq.ml
diff --git a/scripts/.cvsignore b/scripts/.cvsignore
deleted file mode 100644
index b95eb1ba9..000000000
--- a/scripts/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-coqmktop
-tolink.ml
-coqc
diff --git a/states/.cvsignore b/states/.cvsignore
deleted file mode 100644
index 299893263..000000000
--- a/states/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-initial.coq
diff --git a/tactics/.cvsignore b/tactics/.cvsignore
deleted file mode 100644
index 5ff239d45..000000000
--- a/tactics/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-tauto.ml
diff --git a/test-suite/failure/.cvsignore b/test-suite/failure/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/test-suite/failure/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/test-suite/success/.cvsignore b/test-suite/success/.cvsignore
deleted file mode 100644
index 8b1378917..000000000
--- a/test-suite/success/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-
diff --git a/theories/Arith/.cvsignore b/theories/Arith/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Arith/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Bool/.cvsignore b/theories/Bool/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Bool/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Init/.cvsignore b/theories/Init/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Init/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/IntMap/.cvsignore b/theories/IntMap/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/IntMap/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Lists/.cvsignore b/theories/Lists/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Lists/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Logic/.cvsignore b/theories/Logic/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Logic/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/NArith/.cvsignore b/theories/NArith/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/NArith/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Num/.cvsignore b/theories/Num/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Num/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Reals/.cvsignore b/theories/Reals/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Reals/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Relations/.cvsignore b/theories/Relations/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Relations/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Setoids/.cvsignore b/theories/Setoids/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Setoids/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Sets/.cvsignore b/theories/Sets/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Sets/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Sorting/.cvsignore b/theories/Sorting/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Sorting/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/Wellfounded/.cvsignore b/theories/Wellfounded/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/Wellfounded/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/theories/ZArith/.cvsignore b/theories/ZArith/.cvsignore
deleted file mode 100644
index c446fcb87..000000000
--- a/theories/ZArith/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.v8
diff --git a/tools/.cvsignore b/tools/.cvsignore
deleted file mode 100644
index 3d7929d7e..000000000
--- a/tools/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-coqdep_lexer.ml
-gallina_lexer.ml
-coqdep
-coq_makefile
-gallina
-coq-tex
-coqwc.ml
diff --git a/tools/coqdoc/.cvsignore b/tools/coqdoc/.cvsignore
deleted file mode 100644
index 5a5f45386..000000000
--- a/tools/coqdoc/.cvsignore
+++ /dev/null
@@ -1,2 +0,0 @@
-index.ml
-pretty.ml
diff --git a/toplevel/.cvsignore b/toplevel/.cvsignore
deleted file mode 100644
index 0851e5725..000000000
--- a/toplevel/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-mltop.ml
-mltop.byteml
-mltop.optml