src/Tools/VSCode/extension/package.json
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;
2017-03-09 wenzelm 2017-03-09 updated to vscode-languageclient 3.0;
2017-03-09 wenzelm 2017-03-09 clarified versions;
2017-03-07 wenzelm 2017-03-07 updated package;
2017-03-07 wenzelm 2017-03-07 decorations for text color;
2017-03-07 wenzelm 2017-03-07 decorations for spell-checker;
2017-03-06 wenzelm 2017-03-06 clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover); discontinued obsolete "hover_message" decoration;
2017-03-05 wenzelm 2017-03-05 decorations for dotted underline: less intrusive; tuned;
2017-03-04 wenzelm 2017-03-04 decorations for background and foreground colors;
2017-03-03 wenzelm 2017-03-03 evade odd version conflicts for batch build (e.g. "vsce package");
2017-03-03 wenzelm 2017-03-03 clarified versions;
2017-03-03 wenzelm 2017-03-03 clarified LICENSE;
2017-01-25 wenzelm 2017-01-25 updated package;
2017-01-11 wenzelm 2017-01-11 updated package;
2017-01-05 wenzelm 2017-01-05 updated package;
2017-01-04 wenzelm 2017-01-04 more file types;
2017-01-03 wenzelm 2017-01-03 updated package;
2017-01-02 wenzelm 2017-01-02 updated package;
2017-01-02 wenzelm 2017-01-02 support for Windows;
2017-01-02 wenzelm 2017-01-02 more specific isabelle-ml language support;
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;