Thu, 05 Jan 2017 16:40:11 +0100 | wenzelm | proper name for recursive grammar; | file | diff | annotate |
Mon, 02 Jan 2017 14:14:33 +0100 | wenzelm | grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist | file | diff | annotate |