src/Tools/VSCode/extension/isabelle-ml-language.json
2017-01-03 wenzelm 2017-01-03 tuned whitespace;
2017-01-02 wenzelm 2017-01-02 more specific isabelle-ml language support;