/macros/latex/contrib/formal-grammar/
../
README.md
formal-grammar.dtx
formal-grammar.ins
formal-grammar.pdf