diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/syntax-v8.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/syntax-v8.tex b/doc/syntax-v8.tex index 5ce975e04b..59d2a80e50 100644 --- a/doc/syntax-v8.tex +++ b/doc/syntax-v8.tex @@ -868,6 +868,7 @@ $$ \nlsep \TERM{Print}~\OPT{\NT{printable}} \nlsep \TERM{Print}~\NT{reference} \nlsep \TERM{Inspect}~\NT{int} +\nlsep \TERM{About}~\NT{reference} %% \nlsep \TERM{Search}~\NT{reference}~\OPT{\NT{in-out-modules}} \nlsep \TERM{SearchPattern}~\NT{constr-pattern}~\OPT{\NT{in-out-modules}} @@ -1043,7 +1044,7 @@ $$ \nlsep \TERM{Arguments}~\TERM{Scope}~\NT{reference} ~\TERM{[}~\PLUS{\NT{name}}~\TERM{]} \nlsep \TERM{Infix}~\OPT{\TERM{Local}} %%% ~\NT{prec}~\OPT{\NT{int}} - ~\NT{string}~\NT{reference}~\OPT{\NT{modifiers}} + ~\NT{string}~\KWD{:=}~\NT{reference}~\OPT{\NT{modifiers}} ~\OPT{\NT{in-scope}} \nlsep \TERM{Notation}~\OPT{\TERM{Local}}~\NT{ident}~\KWD{:=}~\NT{constr} ~\OPT{\NT{modifiers}}~\OPT{\NT{in-scope}} |