Imported Upstream version 8.3~rc1+dfsgupstream/8.3.rc1.dfsg

17 files changed, 17 insertions, 17 deletions

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index 6be4d188..e4a3d5a4 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coq_makefile.ml4 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 (* créer un Makefile pour un développement Coq automatiquement *)
 
diff --git a/tools/coq_tex.ml4 b/tools/coq_tex.ml4
index f2f7ebc4..647e6d7e 100644
--- a/tools/coq_tex.ml4
+++ b/tools/coq_tex.ml4
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coq_tex.ml4 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 (* coq-tex
  * JCF, 16/1/98
diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 08bd8ba0..9bc8965d 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coqdep.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open Printf
 open Coqdep_lexer
diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml
index 7de7d395..d50d1604 100644
--- a/tools/coqdep_boot.ml
+++ b/tools/coqdep_boot.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coqdep_boot.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open Coqdep_common
 
diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll
index a0880d7f..3a2bc4d3 100644
--- a/tools/coqdep_lexer.mll
+++ b/tools/coqdep_lexer.mll
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: coqdep_lexer.mll 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 {
 
diff --git a/tools/coqdoc/alpha.ml b/tools/coqdoc/alpha.ml
index 34b27253..664ead9a 100644
--- a/tools/coqdoc/alpha.ml
+++ b/tools/coqdoc/alpha.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: alpha.ml 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 open Cdglobals
 
diff --git a/tools/coqdoc/alpha.mli b/tools/coqdoc/alpha.mli
index cecfe1a6..00b3d11b 100644
--- a/tools/coqdoc/alpha.mli
+++ b/tools/coqdoc/alpha.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: alpha.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (* Alphabetic order. *)
 
diff --git a/tools/coqdoc/cpretty.mli b/tools/coqdoc/cpretty.mli
index 76d85455..2a0a9091 100644
--- a/tools/coqdoc/cpretty.mli
+++ b/tools/coqdoc/cpretty.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: cpretty.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 open Index
 
diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index 9367faed..d24093ff 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: cpretty.mll 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (*s Utility functions for the scanners *)
 
diff --git a/tools/coqdoc/index.ml b/tools/coqdoc/index.ml
index 95950fb0..e8f30853 100644
--- a/tools/coqdoc/index.ml
+++ b/tools/coqdoc/index.ml
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: index.ml 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 open Filename
 open Lexing
diff --git a/tools/coqdoc/index.mli b/tools/coqdoc/index.mli
index bf1d6568..72cd7a9f 100644
--- a/tools/coqdoc/index.mli
+++ b/tools/coqdoc/index.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: index.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 open Cdglobals
 
diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 6b750556..06d57f5e 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: main.ml 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (* Modified by Lionel Elie Mamane <lionel@mamane.lu> on 9 & 10 Mar 2004:
  *  - handling of absolute filenames (function coq_module)
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index dda704fa..0b3718ab 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: output.ml 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 open Cdglobals
 open Index
diff --git a/tools/coqdoc/output.mli b/tools/coqdoc/output.mli
index 60408689..dd37c6ad 100644
--- a/tools/coqdoc/output.mli
+++ b/tools/coqdoc/output.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: output.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 open Cdglobals
 open Index
diff --git a/tools/coqwc.mll b/tools/coqwc.mll
index 173ed2ed..f95a553a 100644
--- a/tools/coqwc.mll
+++ b/tools/coqwc.mll
@@ -9,7 +9,7 @@
 (* coqwc - counts the lines of spec, proof and comments in Coq sources
  * Copyright (C) 2003 Jean-Christophe Filliâtre *)
 
-(*i $Id$ i*)
+(*i $Id: coqwc.mll 13323 2010-07-24 15:57:30Z herbelin $ 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 fe9766ec..a7b7d344 100644
--- a/tools/gallina.ml
+++ b/tools/gallina.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: gallina.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open Gallina_lexer
 
diff --git a/tools/gallina_lexer.mll b/tools/gallina_lexer.mll
index 9622beee..d025b8c0 100644
--- a/tools/gallina_lexer.mll
+++ b/tools/gallina_lexer.mll
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: gallina_lexer.mll 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 {
  open Lexing