2017-06-13 wenzelm 2017-06-13 updated package;
2017-06-13 wenzelm 2017-06-13 tuned GUI;
2017-06-13 wenzelm 2017-06-13 obsolete;
2017-06-12 wenzelm 2017-06-12 removed pointless entries: not part of api.LanguageEntry;
2017-06-12 wenzelm 2017-06-12 avoid overlapping line background, notably for "quoted";
2017-06-12 wenzelm 2017-06-12 tuned rendering;
2017-06-12 wenzelm 2017-06-12 tuned;
2017-06-12 wenzelm 2017-06-12 clarified message;
2017-06-12 wenzelm 2017-06-12 retain vacuous CompletionProvider for now;
2017-06-12 wenzelm 2017-06-12 tuned;
2017-06-12 wenzelm 2017-06-12 dynamic configuration of prettify-symbols-mode, similar to VSCoq;
2017-06-12 wenzelm 2017-06-12 obsolete;
2017-06-12 wenzelm 2017-06-12 removed pointless default: vscode.previewHtml happens only after prover response;
2017-06-12 wenzelm 2017-06-12 more markup for HTML rendering;
2017-06-12 wenzelm 2017-06-12 tuned signature;
2017-06-12 wenzelm 2017-06-12 clarified;
2017-06-12 wenzelm 2017-06-12 tuned;
2017-06-10 wenzelm 2017-06-10 superseded by external protocol;
2017-06-10 wenzelm 2017-06-10 use old-style "textEdit" for the sake of the external protocol (see also vscode-languageserver-node/issues/188);
2017-06-10 wenzelm 2017-06-10 tuned;
2017-06-10 wenzelm 2017-06-10 symbol completion that bypasses the LS protocol, and thus observes the range properly; more symbol operations;
2017-06-10 eberlm 2017-06-10 More rules for Probability/Tree_Space
2017-06-09 wenzelm 2017-06-09 merged
2017-06-09 wenzelm 2017-06-09 tuned;
2017-06-09 wenzelm 2017-06-09 clarified output for symbol completion;
2017-06-09 wenzelm 2017-06-09 tuned;
2017-06-09 wenzelm 2017-06-09 more uniform syntax_completion + semantic_completion;
2017-06-09 wenzelm 2017-06-09 clarified modules;
2017-06-09 wenzelm 2017-06-09 provide information about Isabelle symbols within VSCode;
2017-06-09 wenzelm 2017-06-09 tuned signature;
2017-06-09 eberlm 2017-06-09 Cleaned up and extended Probability/Tree_Space
2017-06-09 hoelzl 2017-06-09 HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections
2017-06-09 wenzelm 2017-06-09 avoid markup, for the sake of Build_Log.Log_File.parse_props;
2017-06-09 wenzelm 2017-06-09 more robust: store important meta info before potential failure;
2017-06-09 wenzelm 2017-06-09 tuned message;
2017-06-09 wenzelm 2017-06-09 merged
2017-06-08 wenzelm 2017-06-08 more HTML rendering as in Isabelle/jEdit; tuned;
2017-06-08 wenzelm 2017-06-08 tuned signature;
2017-06-08 wenzelm 2017-06-08 clarified menu; avoid non-portable ALT-mouse combination;
2017-06-08 wenzelm 2017-06-08 clarified signature;
2017-06-08 wenzelm 2017-06-08 HTML preview based on PIDE markup;
2017-06-08 wenzelm 2017-06-08 explicit foreground color, for the sake of dark theme in VSCode;
2017-06-08 wenzelm 2017-06-08 tuned layout (amending 8040d2563593);
2017-06-08 wenzelm 2017-06-08 more official session qualifier;
2017-06-08 wenzelm 2017-06-08 clarified;
2017-06-08 boehmes 2017-06-08 replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace
2017-06-07 wenzelm 2017-06-07 merged
2017-06-07 wenzelm 2017-06-07 clarified output;
2017-06-07 wenzelm 2017-06-07 more tooltips;
2017-06-07 wenzelm 2017-06-07 clarified imports;
2017-06-07 wenzelm 2017-06-07 update strictly local imports only;
2017-06-07 wenzelm 2017-06-07 proper imports_base;
2017-06-07 wenzelm 2017-06-07 tuned;
2017-06-07 wenzelm 2017-06-07 avoid redundant Preview documents;
2017-06-07 hoelzl 2017-06-07 HOL-Probability: add measurable space for trees
2017-06-06 wenzelm 2017-06-06 clarified import of loaded theory;
2017-06-05 haftmann 2017-06-05 decomposed tuple
2017-06-05 haftmann 2017-06-05 tuned
2017-06-05 haftmann 2017-06-05 clarified message
2017-06-06 wenzelm 2017-06-06 tuned signature;