From d1f4bd9451517a4dd2cca438adbeea69c1d6fb62 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 27 Jan 2001 17:13:42 +0000
Subject: make doc

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

diff --git a/proofs/tacinterp.mli b/proofs/tacinterp.mli
index 83cd7be1c2..7d066e8987 100644
--- a/proofs/tacinterp.mli
+++ b/proofs/tacinterp.mli
@@ -22,7 +22,7 @@ type value =
   | VVoid
   | VRec of value ref
 
-(* Signature for interpretation: val_interp and interpretation functions *)
+(* Signature for interpretation: val\_interp and interpretation functions *)
 and interp_sign =
   enamed_declarations * Environ.env * (string * value) list *
     (int * constr) list * goal sigma option * debug_info
diff --git a/toplevel/class.mli b/toplevel/class.mli
index fd1ee3f8f5..f2d35aa8ec 100644
--- a/toplevel/class.mli
+++ b/toplevel/class.mli
@@ -37,7 +37,7 @@ val try_add_new_identity_coercion : identifier -> strength ->
   source:cl_typ -> target:cl_typ -> unit
 
 (* [try_add_new_class ref] declares [ref] as a new class; usually,
-   this is done implicitely by try_add_new_coercion's functions *)
+   this is done implicitely by [try_add_new_coercion]'s functions *)
 val try_add_new_class : global_reference -> strength -> unit
 
 (*s This is used for the discharge *)
-- 
cgit v1.2.3