From bb6e15cb3d64f2902f98d01b8fe12948a7191095 Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 30 Dec 2003 09:53:31 +0000
Subject: modif generales claude

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8455 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RefMan-tacex.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/RefMan-tacex.tex')

diff --git a/doc/RefMan-tacex.tex b/doc/RefMan-tacex.tex
index 7a411e8221..def17e717b 100644
--- a/doc/RefMan-tacex.tex
+++ b/doc/RefMan-tacex.tex
@@ -807,7 +807,7 @@ is undecidable in general case, don't expect miracles from it!
 
 \SeeAlso comments of source file \texttt{tactics/contrib/polynom/quote.ml}
 
-\SeeAlso the tactic \texttt{ring} (chapter \ref{ring})
+\SeeAlso the \texttt{ring} tactic (Chapter~\ref{ring})
 
 
 \section{Using the tactical language}
-- 
cgit v1.2.3