Remove the svn-specific $Id$ annotations

 - Many of them were broken, some of them after Pierre B's rework
   of mli for ocamldoc, but not only (many bad annotation, many files
   with no svn property about Id, etc)
 - Useless for those of us that work with git-svn (and a fortiori
   in a forthcoming git-only setting)
 - Even in svn, they seem to be of little interest

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12972 85f007b7-540e-0410-9357-904b9bb8a0f7

18 files changed, 0 insertions, 36 deletions

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index 617ca1d970..a7c89e7afe 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
-
 (* créer un Makefile pour un développement Coq automatiquement *)
 
 type target =
diff --git a/tools/coq_tex.ml4 b/tools/coq_tex.ml4
index c46a187c56..ec5cc42df7 100644
--- a/tools/coq_tex.ml4
+++ b/tools/coq_tex.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
-
 (* coq-tex
  * JCF, 16/1/98
  * adapted from caml-tex (perl script written by Xavier Leroy)
diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index fe930a1de3..ea7982d8ae 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
-
 open Printf
 open Coqdep_lexer
 open Coqdep_common
diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml
index 2798e4af67..a97ba22b08 100644
--- a/tools/coqdep_boot.ml
+++ b/tools/coqdep_boot.ml
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
-
 open Coqdep_common
 
 (** [coqdep_boot] is a stripped-down version of [coqdep], whose
diff --git a/tools/coqdep_common.ml b/tools/coqdep_common.ml
index cb98bd4131..cb6050fce8 100644
--- a/tools/coqdep_common.ml
+++ b/tools/coqdep_common.ml
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: coqdep_common.ml 11984 2009-03-16 13:41:49Z letouzey $ *)
-
 open Printf
 open Coqdep_lexer
 open Unix
diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll
index 74c556a7d2..6c32d3de38 100755
--- a/tools/coqdep_lexer.mll
+++ b/tools/coqdep_lexer.mll
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 {
 
   open Filename
diff --git a/tools/coqdoc/alpha.ml b/tools/coqdoc/alpha.ml
index d25034f2a3..18eae02110 100644
--- a/tools/coqdoc/alpha.ml
+++ b/tools/coqdoc/alpha.ml
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 
 let norm_char_latin1 c = match Char.uppercase c with
diff --git a/tools/coqdoc/alpha.mli b/tools/coqdoc/alpha.mli
index 922a10d6cc..285ed00a77 100644
--- a/tools/coqdoc/alpha.mli
+++ b/tools/coqdoc/alpha.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 (* Alphabetic order. *)
 
 val compare_char : char -> char -> int
diff --git a/tools/coqdoc/cpretty.mli b/tools/coqdoc/cpretty.mli
index 213c76aafd..09cc7b7c20 100644
--- a/tools/coqdoc/cpretty.mli
+++ b/tools/coqdoc/cpretty.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Index
 
 val coq_file : string -> Cdglobals.coq_module -> unit
diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index 56ee459ab9..344d3af70d 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 (*s Utility functions for the scanners *)
 
 {
diff --git a/tools/coqdoc/index.ml b/tools/coqdoc/index.ml
index 889e5d6ff9..9445c96060 100644
--- a/tools/coqdoc/index.ml
+++ b/tools/coqdoc/index.ml
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Filename
 open Lexing
 open Printf
diff --git a/tools/coqdoc/index.mli b/tools/coqdoc/index.mli
index 517ec97a75..bf9d906f3c 100644
--- a/tools/coqdoc/index.mli
+++ b/tools/coqdoc/index.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 
 type loc = int
diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 67c63865af..f3ebe0dc3d 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 (* Modified by Lionel Elie Mamane <lionel@mamane.lu> on 9 & 10 Mar 2004:
  *  - handling of absolute filenames (function coq_module)
  *  - coq_module: chop ./// (arbitrary amount of slashes), not only "./"
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 1892a0c9c5..57e0afa435 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 open Index
 
diff --git a/tools/coqdoc/output.mli b/tools/coqdoc/output.mli
index d836f6b397..67877af05e 100644
--- a/tools/coqdoc/output.mli
+++ b/tools/coqdoc/output.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 open Index
 
diff --git a/tools/coqwc.mll b/tools/coqwc.mll
index f3646a8a1f..c539387bfc 100644
--- a/tools/coqwc.mll
+++ b/tools/coqwc.mll
@@ -9,8 +9,6 @@
 (* coqwc - counts the lines of spec, proof and comments in Coq sources
  * Copyright (C) 2003 Jean-Christophe Filliâtre *)
 
-(*i $Id$ i*)
-
 (*s {\bf coqwc.} Counts the lines of spec, proof and comments in a Coq source.
     It assumes the files to be lexically well-formed. *)
 
diff --git a/tools/gallina.ml b/tools/gallina.ml
index 8ba9ae1049..6a0f23d38d 100644
--- a/tools/gallina.ml
+++ b/tools/gallina.ml
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
-
 open Gallina_lexer
 
 let vfiles = ref ([] : string list)
diff --git a/tools/gallina_lexer.mll b/tools/gallina_lexer.mll
index 6d35d83972..fe489459e5 100644
--- a/tools/gallina_lexer.mll
+++ b/tools/gallina_lexer.mll
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
-
 {
  open Lexing