src/Tools/VSCode/extension/README.md
5 months ago wenzelm 2019-05-11 back to post-release mode;
5 months ago wenzelm 2019-05-02 VSCode extension for official Isabelle release;
10 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
13 months ago wenzelm 2018-09-01 back to post-release mode;
15 months ago wenzelm 2018-06-29 VSCode extension for official Isabelle release;
19 months ago wenzelm 2018-03-15 clarified message;
19 months ago wenzelm 2018-03-02 prefer https;
2017-09-25 wenzelm 2017-09-25 back to post-release mode; updated package;
2017-09-02 wenzelm 2017-09-02 VSCode extension for official Isabelle release;
2017-08-10 wenzelm 2017-08-10 prefer https for the sake of "npm run vscode:prepublish";
2017-06-30 wenzelm 2017-06-30 tuned documentation; updated package version; updated screenshot reference;
2017-06-30 wenzelm 2017-06-30 tuned;
2017-06-30 wenzelm 2017-06-30 more documentation;
2017-06-30 wenzelm 2017-06-30 prefer explicit link;
2017-06-29 wenzelm 2017-06-29 tuned;
2017-06-29 wenzelm 2017-06-29 added screenshot;
2017-06-29 wenzelm 2017-06-29 clarified;
2017-06-29 wenzelm 2017-06-29 tuned;
2017-06-29 wenzelm 2017-06-29 more documentation;
2017-06-12 wenzelm 2017-06-12 dynamic configuration of prettify-symbols-mode, similar to VSCoq;
2017-03-10 wenzelm 2017-03-10 default cygwin_root from Isabelle distribution;
2017-03-07 wenzelm 2017-03-07 added admin tool "isabelle build_vscode";
2017-01-25 wenzelm 2017-01-25 tuned;
2017-01-11 wenzelm 2017-01-11 more documentation;
2017-01-02 wenzelm 2017-01-02 updated package;
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;