2017-03-10 wenzelm 2017-03-10 updated package;
2017-03-10 wenzelm 2017-03-10 merged
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 avoid extra decorations for regular command keywords;
2017-03-10 wenzelm 2017-03-10 more compact protocol message;
2017-03-10 wenzelm 2017-03-10 default cygwin_root from Isabelle distribution;
2017-03-10 wenzelm 2017-03-10 prefer type equality;
2017-03-10 haftmann 2017-03-10 restored surj as output abbreviation, amending 6af79184bef3
2017-03-09 wenzelm 2017-03-09 updated package;
2017-03-09 wenzelm 2017-03-09 prefer immutable bindings;
2017-03-09 wenzelm 2017-03-09 tuned;
2017-03-09 wenzelm 2017-03-09 tuned;
2017-03-09 wenzelm 2017-03-09 updated to vscode-languageclient 3.0;
2017-03-09 wenzelm 2017-03-09 more thorough build;
2017-03-09 wenzelm 2017-03-09 clarified versions;
2017-03-09 wenzelm 2017-03-09 tuned;
2017-03-09 wenzelm 2017-03-09 clarified;
2017-03-09 wenzelm 2017-03-09 incremental document changes;
2017-03-09 wenzelm 2017-03-09 proper treatment of line that becomes empty;
2017-03-09 wenzelm 2017-03-09 tuned;
2017-03-09 wenzelm 2017-03-09 clarified Document.offset: including final position; support Document.change according to VSCode;
2017-03-08 wenzelm 2017-03-08 suppress vacuous edits;
2017-03-08 wenzelm 2017-03-08 clarified native Text.Offset versus Text.Length index Int;
2017-03-08 wenzelm 2017-03-08 tuned;
2017-03-08 wenzelm 2017-03-08 tuned;
2017-03-08 wenzelm 2017-03-08 tuned messages;
2017-03-08 wenzelm 2017-03-08 tuned proofs;
2017-03-08 wenzelm 2017-03-08 clarified rendering;
2017-03-08 wenzelm 2017-03-08 tuned;
2017-03-07 wenzelm 2017-03-07 updated package;
2017-03-07 wenzelm 2017-03-07 merged
2017-03-07 wenzelm 2017-03-07 decorations for text color;
2017-03-07 wenzelm 2017-03-07 tuned;
2017-03-07 wenzelm 2017-03-07 more generic colors;
2017-03-07 wenzelm 2017-03-07 tuned;
2017-03-07 wenzelm 2017-03-07 decorations for spell-checker;
2017-03-07 wenzelm 2017-03-07 clarified modules;
2017-03-07 wenzelm 2017-03-07 tuned signature;
2017-03-07 wenzelm 2017-03-07 clarified modules: spell-checker in Pure;
2017-03-07 wenzelm 2017-03-07 added admin tool "isabelle build_vscode";
2017-03-07 wenzelm 2017-03-07 clarified options;
2017-03-07 eberlm 2017-03-07 Tuned generation of elimination rules in function package
2017-03-07 wenzelm 2017-03-07 maintain decorations for document (model) and update it for each editor (view);
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-06 wenzelm 2017-03-06 more robust;
2017-03-06 wenzelm 2017-03-06 tuned;
2017-03-06 wenzelm 2017-03-06 proper Text.Range.offside (NB: in Scala ~1 == -2);
2017-03-06 wenzelm 2017-03-06 tuned;
2017-03-06 wenzelm 2017-03-06 more general tooltips, with uniform info range handling;
2017-03-06 wenzelm 2017-03-06 tuned;
2017-03-06 wenzelm 2017-03-06 more generic colors;
2017-03-06 wenzelm 2017-03-06 tuned whitespace;
2017-03-06 wenzelm 2017-03-06 proper color;
2017-03-06 wenzelm 2017-03-06 more generic colors;
2017-03-05 wenzelm 2017-03-05 more ambitious timing, to compensate general protocol delays;
2017-03-05 wenzelm 2017-03-05 decorations for dotted underline: less intrusive; tuned;
2017-03-05 wenzelm 2017-03-05 more generic rendering;
2017-03-05 wenzelm 2017-03-05 proper reset of published decorations: initial value is Nil, afterwards it is a list of canonical length and order;