MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4813 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

diff --git a/doc/syntax-v8.tex b/doc/syntax-v8.tex
index c1ca30568..d59768f21 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}