23 months ago wenzelm 2017-06-08 explicit foreground color, for the sake of dark theme in VSCode;
23 months ago wenzelm 2017-06-08 tuned layout (amending 8040d2563593);
23 months ago wenzelm 2017-06-08 more official session qualifier;
23 months ago wenzelm 2017-06-08 clarified;
23 months ago 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
23 months ago wenzelm 2017-06-07 merged
23 months ago wenzelm 2017-06-07 clarified output;
23 months ago wenzelm 2017-06-07 more tooltips;
23 months ago wenzelm 2017-06-07 clarified imports;
23 months ago wenzelm 2017-06-07 update strictly local imports only;
23 months ago wenzelm 2017-06-07 proper imports_base;
23 months ago wenzelm 2017-06-07 tuned;
23 months ago wenzelm 2017-06-07 avoid redundant Preview documents;
23 months ago hoelzl 2017-06-07 HOL-Probability: add measurable space for trees
23 months ago wenzelm 2017-06-06 clarified import of loaded theory;
23 months ago haftmann 2017-06-05 decomposed tuple
23 months ago haftmann 2017-06-05 tuned
23 months ago haftmann 2017-06-05 clarified message
23 months ago wenzelm 2017-06-06 tuned signature;
23 months ago wenzelm 2017-06-06 discontinued obsolete print mode;
23 months ago wenzelm 2017-06-05 HTML preview via builtin HTTP server;
23 months ago wenzelm 2017-06-05 permissive output of XML.Text, e.g. relevant for embedded <style>;
23 months ago haftmann 2017-06-05 avoid Local_Theory.reset in application space
23 months ago haftmann 2017-06-05 tuned
23 months ago haftmann 2017-06-05 specific output setup is not supposed to intrude regular import theory
23 months ago haftmann 2017-06-05 avoid duplicate
23 months ago haftmann 2017-06-05 streamlined code setup for fake terms
23 months ago haftmann 2017-06-05 modernized (code) setup for enumeration predicates
23 months ago haftmann 2017-06-05 simplified setup
23 months ago haftmann 2017-06-05 executable domain membership checks
23 months ago wenzelm 2017-06-05 more tests;
23 months ago wenzelm 2017-06-05 cover more history;
23 months ago wenzelm 2017-06-05 cover more history;
23 months ago wenzelm 2017-06-05 uniform notion of Symbol.is_controllable (see also 265d9300d523);
23 months ago lammich 2017-06-02 merged
23 months ago lammich 2017-06-01 Added char, ref, array to heap-storable types
23 months ago lammich 2017-06-01 Fixed to also work with non-IntInf default int type
23 months ago wenzelm 2017-06-01 updated package;
23 months ago wenzelm 2017-06-01 proper markup for IsabelleText font;
23 months ago wenzelm 2017-06-01 generate CSS for Isabelle fonts;
23 months ago wenzelm 2017-06-01 tuned signature;
23 months ago wenzelm 2017-06-01 tuned signature;
23 months ago wenzelm 2017-06-01 output control symbols like ML version, with optionally hidden source;
23 months ago wenzelm 2017-06-01 use css from Isabelle distribution;
23 months ago wenzelm 2017-06-01 clarified output;
23 months ago wenzelm 2017-06-01 proper update of already existing preview;
23 months ago wenzelm 2017-06-01 tuned signature;
23 months ago wenzelm 2017-06-01 tuned signature;
23 months ago wenzelm 2017-06-01 tuned;
23 months ago wenzelm 2017-06-01 uniform output of HTML as XML; discontinued special cases of 041dc6d8d344;
23 months ago wenzelm 2017-05-31 tuned layout;
23 months ago wenzelm 2017-05-31 modernized generated HTML;
23 months ago wenzelm 2017-05-31 tuned signature; tuned;
23 months ago wenzelm 2017-05-31 added update operation;
23 months ago wenzelm 2017-05-31 clarified name; tuned whitespace;
23 months ago wenzelm 2017-05-31 register commands earlier, before prover startup;
23 months ago wenzelm 2017-05-31 explicit preview request/response; commands, icons, menus like VSCode markdown preview; clarified Uri information (again); tuned;
23 months ago wenzelm 2017-05-31 tuned layout;
23 months ago wenzelm 2017-05-31 more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/
23 months ago wenzelm 2017-05-30 merged