src/Tools/VSCode/README.md
22 months ago wenzelm 2017-09-02 simplified README: this is for development version;
2017-03-09 wenzelm 2017-03-09 tuned;
2017-03-07 wenzelm 2017-03-07 added admin tool "isabelle build_vscode";
2017-02-27 wenzelm 2017-02-27 more links;
2017-01-11 wenzelm 2017-01-11 generated configuration for Prettify Symbols Mode;
2017-01-02 wenzelm 2017-01-02 updated package;
2017-01-01 wenzelm 2017-01-01 proper packaging;
2017-01-01 wenzelm 2017-01-01 automatically build session image;
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;