src/Tools/VSCode/extension/isabelle-ml-grammar.json
2017-01-05 wenzelm 2017-01-05 proper name for recursive grammar; pro-forma update of fileTypes;
2017-01-02 wenzelm 2017-01-02 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist