diff options
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 |