From 11aaf97fa5f773c8a81d12255414cd3f5d189d25 Mon Sep 17 00:00:00 2001 From: notin Date: Fri, 28 Apr 2006 10:34:25 +0000 Subject: Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des 'properties' de Subversion git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .cvsignore | 10 ---------- bin/.cvsignore | 21 --------------------- config/.cvsignore | 2 -- contrib/.cvsignore | 1 - contrib/cc/.cvsignore | 1 - contrib/correctness/.cvsignore | 2 -- contrib/dp/.cvsignore | 2 -- contrib/extraction/.cvsignore | 1 - contrib/extraction/test/.cvsignore | 9 --------- contrib/field/.cvsignore | 1 - contrib/fourier/.cvsignore | 1 - contrib/funind/.cvsignore | 1 - contrib/omega/.cvsignore | 1 - contrib/ring/.cvsignore | 1 - contrib/romega/.cvsignore | 1 - dev/.cvsignore | 3 --- dev/doc/.cvsignore | 1 - distrib/.cvsignore | 17 ----------------- distrib/MacOS-X/.cvsignore | 3 --- distrib/RH/.cvsignore | 3 --- ide/.cvsignore | 15 --------------- ide/utils/.cvsignore | 1 - kernel/.cvsignore | 1 - kernel/byterun/.cvsignore | 1 - parsing/.cvsignore | 12 ------------ scripts/.cvsignore | 3 --- states/.cvsignore | 1 - tactics/.cvsignore | 1 - test-suite/failure/.cvsignore | 1 - test-suite/success/.cvsignore | 1 - theories/Arith/.cvsignore | 1 - theories/Bool/.cvsignore | 1 - theories/Init/.cvsignore | 1 - theories/IntMap/.cvsignore | 1 - theories/Lists/.cvsignore | 1 - theories/Logic/.cvsignore | 1 - theories/NArith/.cvsignore | 1 - theories/Num/.cvsignore | 1 - theories/Reals/.cvsignore | 1 - theories/Relations/.cvsignore | 1 - theories/Setoids/.cvsignore | 1 - theories/Sets/.cvsignore | 1 - theories/Sorting/.cvsignore | 1 - theories/Wellfounded/.cvsignore | 1 - theories/ZArith/.cvsignore | 1 - tools/.cvsignore | 7 ------- tools/coqdoc/.cvsignore | 2 -- toplevel/.cvsignore | 3 --- 48 files changed, 146 deletions(-) delete mode 100644 .cvsignore delete mode 100644 bin/.cvsignore delete mode 100644 config/.cvsignore delete mode 100644 contrib/.cvsignore delete mode 100644 contrib/cc/.cvsignore delete mode 100644 contrib/correctness/.cvsignore delete mode 100644 contrib/dp/.cvsignore delete mode 100644 contrib/extraction/.cvsignore delete mode 100644 contrib/extraction/test/.cvsignore delete mode 100644 contrib/field/.cvsignore delete mode 100644 contrib/fourier/.cvsignore delete mode 100644 contrib/funind/.cvsignore delete mode 100644 contrib/omega/.cvsignore delete mode 100644 contrib/ring/.cvsignore delete mode 100644 contrib/romega/.cvsignore delete mode 100644 dev/.cvsignore delete mode 100644 dev/doc/.cvsignore delete mode 100644 distrib/.cvsignore delete mode 100644 distrib/MacOS-X/.cvsignore delete mode 100644 distrib/RH/.cvsignore delete mode 100644 ide/.cvsignore delete mode 100644 ide/utils/.cvsignore delete mode 100644 kernel/.cvsignore delete mode 100644 kernel/byterun/.cvsignore delete mode 100644 parsing/.cvsignore delete mode 100644 scripts/.cvsignore delete mode 100644 states/.cvsignore delete mode 100644 tactics/.cvsignore delete mode 100644 test-suite/failure/.cvsignore delete mode 100644 test-suite/success/.cvsignore delete mode 100644 theories/Arith/.cvsignore delete mode 100644 theories/Bool/.cvsignore delete mode 100644 theories/Init/.cvsignore delete mode 100644 theories/IntMap/.cvsignore delete mode 100644 theories/Lists/.cvsignore delete mode 100644 theories/Logic/.cvsignore delete mode 100644 theories/NArith/.cvsignore delete mode 100644 theories/Num/.cvsignore delete mode 100644 theories/Reals/.cvsignore delete mode 100644 theories/Relations/.cvsignore delete mode 100644 theories/Setoids/.cvsignore delete mode 100644 theories/Sets/.cvsignore delete mode 100644 theories/Sorting/.cvsignore delete mode 100644 theories/Wellfounded/.cvsignore delete mode 100644 theories/ZArith/.cvsignore delete mode 100644 tools/.cvsignore delete mode 100644 tools/coqdoc/.cvsignore delete mode 100644 toplevel/.cvsignore diff --git a/.cvsignore b/.cvsignore deleted file mode 100644 index d967058e17..0000000000 --- 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 8a0fce7d0b..0000000000 --- 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 0fb99f4196..0000000000 --- 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 7835a7915d..0000000000 --- a/contrib/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -why diff --git a/contrib/cc/.cvsignore b/contrib/cc/.cvsignore deleted file mode 100644 index c446fcb878..0000000000 --- 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 9408ea1c8b..0000000000 --- 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 27102315a6..0000000000 --- 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 c446fcb878..0000000000 --- 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 20414aab58..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- a/contrib/romega/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/dev/.cvsignore b/dev/.cvsignore deleted file mode 100644 index 48df473800..0000000000 --- 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 4f4a6839e7..0000000000 --- a/dev/doc/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -coq.tex diff --git a/distrib/.cvsignore b/distrib/.cvsignore deleted file mode 100644 index 46e8aed30b..0000000000 --- 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 9234978d40..0000000000 --- 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 7e1d30b7b3..0000000000 --- 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 d047db8462..0000000000 --- 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 7431b908bb..0000000000 --- a/ide/utils/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -example.ml diff --git a/kernel/.cvsignore b/kernel/.cvsignore deleted file mode 100644 index 81f20377e1..0000000000 --- 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 bc5f347b0d..0000000000 --- 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 a2e50565c2..0000000000 --- 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 b95eb1ba95..0000000000 --- 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 2998932630..0000000000 --- a/states/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -initial.coq diff --git a/tactics/.cvsignore b/tactics/.cvsignore deleted file mode 100644 index 5ff239d459..0000000000 --- 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 c446fcb878..0000000000 --- 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 8b13789179..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- 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 c446fcb878..0000000000 --- a/theories/ZArith/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/tools/.cvsignore b/tools/.cvsignore deleted file mode 100644 index 3d7929d7e3..0000000000 --- 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 5a5f453864..0000000000 --- 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 0851e57251..0000000000 --- a/toplevel/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -mltop.ml -mltop.byteml -mltop.optml -- cgit v1.2.3