From 06a95b6273927a79cd47ac30e84aeed64724554d Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 17 Mar 2004 17:37:02 +0000
Subject: Ajout %bool

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

(limited to 'doc')

diff --git a/doc/RefMan-syn.tex b/doc/RefMan-syn.tex
index 12b41f36c..147908d07 100755
--- a/doc/RefMan-syn.tex
+++ b/doc/RefMan-syn.tex
@@ -733,7 +733,8 @@ those of {\tt R}.
 
 \subsubsection{\tt bool\_scope}
 
-This includes notations for the boolean operators.
+This includes notations for the boolean operators. It is
+delimited by key {\tt bool}.
 
 \subsubsection{\tt list\_scope}
 
-- 
cgit v1.2.3