From 5f928a76b1e2482c1ef5850302467b095000f216 Mon Sep 17 00:00:00 2001
From: notin
Date: Mon, 20 Aug 2007 13:08:30 +0000
Subject: Erreur de copier/coller dans la section Guarded

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10079 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-pro.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/refman/RefMan-pro.tex b/doc/refman/RefMan-pro.tex
index e292013db4..1a004b6657 100644
--- a/doc/refman/RefMan-pro.tex
+++ b/doc/refman/RefMan-pro.tex
@@ -291,7 +291,7 @@ subgoals which clutter your screen.
 
 \begin{Variant}
 \item {\tt Focus {\num}.}\\ 
-This focuses the attention on the $\num^{\scriptsize th}$ subgoal to prove.
+This focuses the attention on the $\num^{th}$ subgoal to prove.
 
 \end{Variant}
 
@@ -379,7 +379,7 @@ along with the type and the context of each variable.
 \end{Variants}
 
 
-\subsection[\tt Guarded.]
+\subsection[\tt Guarded.]{\tt Guarded.\comindex{Guarded}\label{Guarded}}
 
 Some tactics (e.g. refine \ref{refine}) allow to build proofs using
 fixpoint or co-fixpoint constructions. Due to the incremental nature
-- 
cgit v1.2.3