From b5cb655b099b57d45dfc13d79ce94779dccf4126 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sat, 24 Sep 2016 14:19:24 +0200 Subject: Added comments --- doc/grammar.tex | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/grammar.tex b/doc/grammar.tex index 59026bd..65ec537 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -5,9 +5,13 @@ \setlength{\grammarparsep}{4pt} \setlength{\grammarindent}{10em} \begin{grammar} - ::= + ::= - ::= `;' | + ::= `;' + \alt + \alt + + ::= `//' \dots `\textbackslash n' ::= `=' -- cgit v1.2.3