doc/refintro.tex: Split the syntax notation into subsections.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 20 Aug 2019 11:26:50 +0000 (12:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 20 Aug 2019 11:29:51 +0000 (12:29 +0100)
commite95c78ede5830590397dc2673cc8a59709977b5c
treeab0aef25bb8d0d717e3bc18818c4d32b089b00f4
parent48c123c9d37880d48d415309b014325e5bc55162
doc/refintro.tex: Split the syntax notation into subsections.

I'd be happier if these were subsubsections, honestly.
doc/refintro.tex