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