src/Tools/VSCode/extension/package.json
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;
6 months ago wenzelm 2019-03-24 more markup for various text kinds, notably for nested formal comments;
10 months ago wenzelm 2018-11-21 updated version;
10 months ago wenzelm 2018-11-21 tuned;
10 months ago wenzelm 2018-11-21 more comment markup;
13 months ago wenzelm 2018-09-01 updated version;
13 months ago wenzelm 2018-09-01 more explicit status for "canceled" command within theory node;
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;
16 months ago wenzelm 2018-06-14 auto update;
19 months ago wenzelm 2018-03-10 auto update;
19 months ago wenzelm 2018-03-02 prefer https;
21 months ago wenzelm 2018-01-02 clarified terminology of "markdown_bullet";
22 months ago wenzelm 2017-12-22 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
22 months ago wenzelm 2017-12-22 auto update;
2017-09-25 wenzelm 2017-09-25 back to post-release mode; updated package;
2017-09-18 wenzelm 2017-09-18 updated version for release;
2017-09-18 wenzelm 2017-09-18 auto update;
2017-09-02 wenzelm 2017-09-02 VSCode extension for official Isabelle release;
2017-09-02 wenzelm 2017-09-02 auto update;
2017-08-11 wenzelm 2017-08-11 updated package version;
2017-08-10 wenzelm 2017-08-10 auto update;
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 updated package;
2017-06-29 wenzelm 2017-06-29 updated package;
2017-06-29 wenzelm 2017-06-29 tuned;
2017-06-29 wenzelm 2017-06-29 updated package;
2017-06-29 wenzelm 2017-06-29 auto update;
2017-06-27 wenzelm 2017-06-27 auto update;
2017-06-27 wenzelm 2017-06-27 auto update;
2017-06-20 wenzelm 2017-06-20 added commands for spell-checker dictionary;
2017-06-17 wenzelm 2017-06-17 updated package;
2017-06-16 wenzelm 2017-06-16 support for separate proof state output;
2017-06-16 wenzelm 2017-06-16 automatic reformatting;
2017-06-13 wenzelm 2017-06-13 updated package;
2017-06-08 wenzelm 2017-06-08 clarified menu; avoid non-portable ALT-mouse combination;
2017-06-01 wenzelm 2017-06-01 updated package;
2017-05-31 wenzelm 2017-05-31 added update operation;
2017-05-31 wenzelm 2017-05-31 clarified name; tuned whitespace;
2017-05-31 wenzelm 2017-05-31 explicit preview request/response; commands, icons, menus like VSCode markdown preview; clarified Uri information (again); tuned;
2017-05-29 wenzelm 2017-05-29 basic setup for document preview;
2017-05-23 wenzelm 2017-05-23 updated package;
2017-05-23 wenzelm 2017-05-23 support text overview colors via decorations;
2017-05-21 wenzelm 2017-05-21 updated dependencies;
2017-03-15 wenzelm 2017-03-15 updated package;
2017-03-14 wenzelm 2017-03-14 updated dependencies;
2017-03-11 wenzelm 2017-03-11 updated package;
2017-03-11 wenzelm 2017-03-11 tuned colors;
2017-03-11 wenzelm 2017-03-11 tuned colors;
2017-03-11 wenzelm 2017-03-11 tuned colors according to Light+ and Dark+ themes;
2017-03-10 wenzelm 2017-03-10 updated package;
2017-03-10 wenzelm 2017-03-10 tuned colors according to Light+ and Dark+ themes;
2017-03-10 wenzelm 2017-03-10 suppress irrelevant markup for VSCode;
2017-03-10 wenzelm 2017-03-10 tuned colors;
2017-03-10 wenzelm 2017-03-10 default cygwin_root from Isabelle distribution;
2017-03-09 wenzelm 2017-03-09 updated package;