From b7af7027d15afa2dee1695792a2658f0df392956 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 21 Jan 2005 17:24:37 +0000
Subject: Compatibilité ocamlweb pour cible doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6621 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/redexpr.mli | 2 +-
 proofs/tacexpr.ml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'proofs')

diff --git a/proofs/redexpr.mli b/proofs/redexpr.mli
index a0b7100b6b..7146f7f5e0 100644
--- a/proofs/redexpr.mli
+++ b/proofs/redexpr.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(*i $Id$ i*)
 
 open Names
 open Term
diff --git a/proofs/tacexpr.ml b/proofs/tacexpr.ml
index 12fa2b950a..9889fcb0b9 100644
--- a/proofs/tacexpr.ml
+++ b/proofs/tacexpr.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(*i $Id$ i*)
 
 open Names
 open Topconstr
-- 
cgit v1.2.3