chiark / gitweb /
doc/refintro.tex: Explain what parentheses mean in production rules.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 20 Aug 2019 11:27:30 +0000 (12:27 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 20 Aug 2019 11:29:51 +0000 (12:29 +0100)
They're used in the actual grammar, so this is probably a good idea.


No differences found