From d7b2414b631d71e89e677d650b84bd4fadd44895 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 21 Jan 2005 17:18:23 +0000
Subject: Compatibilité ocamlweb pour cible doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6616 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/bigint.mli | 2 +-
 lib/rtree.mli  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/bigint.mli b/lib/bigint.mli
index 38de5b6172..f363d536a5 100644
--- a/lib/bigint.mli
+++ b/lib/bigint.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(*i $Id$ i*)
 
 (*i*)
 open Pp
diff --git a/lib/rtree.mli b/lib/rtree.mli
index 02112428c8..80523d588f 100644
--- a/lib/rtree.mli
+++ b/lib/rtree.mli
@@ -20,7 +20,7 @@ val mk_node  : 'a -> 'a t array -> 'a t
 val mk_rec   : 'a t array -> 'a t array
 
 (* [lift k t] increases of [k] the free parameters of [t]. Needed
-   to avoid captures when a tree appears under mk_rec *) 
+   to avoid captures when a tree appears under [mk_rec] *) 
 val lift : int -> 'a t -> 'a t
 
 val map : ('a -> 'b) -> 'a t -> 'b t
-- 
cgit v1.2.3