src/Tools/VSCode/extension/package.json
2017-01-02 wenzelm 2017-01-02 proper use of isabelle-ml;
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
2017-01-02 wenzelm 2017-01-02 tuned;
2017-01-01 wenzelm 2017-01-01 generate static TextMate grammar for VSCode editor;
2017-01-01 wenzelm 2017-01-01 clarified file name;
2017-01-01 wenzelm 2017-01-01 tuned;
2017-01-01 wenzelm 2017-01-01 more configuration;
2016-12-28 wenzelm 2016-12-28 publish extension on Visual Studio Marketplace;
2016-12-28 wenzelm 2016-12-28 updated VSCode extension to "isabelle vscode_server";
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;