summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/formal-grammar
ModeNameSize
-rw-r--r--README.md876logplain
-rw-r--r--formal-grammar.dtx13296logplain
-rw-r--r--formal-grammar.ins1446logplain
-rw-r--r--formal-grammar.pdf187407logplain