doc/syntax.tex: Add module- and class-level productions for extensions.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 27 Jul 2019 13:10:11 +0000 (14:10 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 3 Aug 2019 15:27:38 +0000 (16:27 +0100)
commitfa548bb16473fff2f7bb9715e3bdf25e41464bf6
treef27f0c169b8a41b48e8907e5644d28068356ddef
parenteb41dc760ead320d9c7089839913ae9758e333ba
doc/syntax.tex: Add module- and class-level productions for extensions.
doc/syntax.tex