From d9e8471056a857325963e481d17803915b1fcfe0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 3 Nov 2002 09:34:02 +0000
Subject: Divers

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

diff --git a/doc/newsyntax.tex b/doc/newsyntax.tex
index 79d680fcb9..f71a220479 100644
--- a/doc/newsyntax.tex
+++ b/doc/newsyntax.tex
@@ -701,4 +701,6 @@ Mettre des \verb=?x= plutot que des \verb=?1= dans les motifs de ltac ??
 
 Virer \verb=Goal= sans argument (synonyme de \verb=Proof= et sans effets).
 
+Remplacer "Check n" par "n:Check ..."
+
 \end{document}
-- 
cgit v1.2.3