From 0cb028c11465747ea4c29ba122f2aabfa40d7e64 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 5 Nov 2003 17:26:58 +0000
Subject: MAJ

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

diff --git a/doc/syntax-v8.tex b/doc/syntax-v8.tex
index c1ca305684..d59768f216 100644
--- a/doc/syntax-v8.tex
+++ b/doc/syntax-v8.tex
@@ -1013,6 +1013,7 @@ $$
 \nlsep \TERM{HintDb}~\NT{ident}
 \nlsep \TERM{Scopes}
 \nlsep \TERM{Scope}~\NT{ident}
+\nlsep \TERM{Visibility}~\OPT{\NT{ident}}
 \SEPDEF
 \DEFNT{class-rawexpr}
        \TERM{Funclass}~\mid~\TERM{Sortclass}~\mid~\NT{reference}
@@ -1189,6 +1190,7 @@ $$
 \begin{rules}
 \DEFNT{syntax}
        \TERM{Open}~\TERM{Scope}~\NT{ident}
+\nlsep \TERM{Close}~\TERM{Scope}~\NT{ident}
 \nlsep \TERM{Delimit}~\TERM{Scope}~\NT{ident}~\KWD{with}~\NT{ident}
 \nlsep \TERM{Bind}~\TERM{Scope}~\NT{ident}~\KWD{with}~\PLUS{\NT{class-rawexpr}}
 \nlsep \TERM{Arguments}~\TERM{Scope}~\NT{reference}
-- 
cgit v1.2.3