2017-06-06 wenzelm 2017-06-06 discontinued obsolete print mode;
2017-06-05 wenzelm 2017-06-05 HTML preview via builtin HTTP server;
2017-06-05 wenzelm 2017-06-05 permissive output of XML.Text, e.g. relevant for embedded <style>;
2017-06-05 haftmann 2017-06-05 avoid Local_Theory.reset in application space
2017-06-05 haftmann 2017-06-05 tuned
2017-06-05 haftmann 2017-06-05 specific output setup is not supposed to intrude regular import theory
2017-06-05 haftmann 2017-06-05 avoid duplicate
2017-06-05 haftmann 2017-06-05 streamlined code setup for fake terms
2017-06-05 haftmann 2017-06-05 modernized (code) setup for enumeration predicates
2017-06-05 haftmann 2017-06-05 simplified setup
2017-06-05 haftmann 2017-06-05 executable domain membership checks
2017-06-05 wenzelm 2017-06-05 more tests;
2017-06-05 wenzelm 2017-06-05 cover more history;
2017-06-05 wenzelm 2017-06-05 cover more history;
2017-06-05 wenzelm 2017-06-05 uniform notion of Symbol.is_controllable (see also 265d9300d523);
2017-06-02 lammich 2017-06-02 merged
2017-06-01 lammich 2017-06-01 Added char, ref, array to heap-storable types
2017-06-01 lammich 2017-06-01 Fixed to also work with non-IntInf default int type
2017-06-01 wenzelm 2017-06-01 updated package;
2017-06-01 wenzelm 2017-06-01 proper markup for IsabelleText font;
2017-06-01 wenzelm 2017-06-01 generate CSS for Isabelle fonts;
2017-06-01 wenzelm 2017-06-01 tuned signature;
2017-06-01 wenzelm 2017-06-01 tuned signature;
2017-06-01 wenzelm 2017-06-01 output control symbols like ML version, with optionally hidden source;
2017-06-01 wenzelm 2017-06-01 use css from Isabelle distribution;
2017-06-01 wenzelm 2017-06-01 clarified output;
2017-06-01 wenzelm 2017-06-01 proper update of already existing preview;
2017-06-01 wenzelm 2017-06-01 tuned signature;
2017-06-01 wenzelm 2017-06-01 tuned signature;
2017-06-01 wenzelm 2017-06-01 tuned;
2017-06-01 wenzelm 2017-06-01 uniform output of HTML as XML; discontinued special cases of 041dc6d8d344;
2017-05-31 wenzelm 2017-05-31 tuned layout;
2017-05-31 wenzelm 2017-05-31 modernized generated HTML;
2017-05-31 wenzelm 2017-05-31 tuned signature; tuned;
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 register commands earlier, before prover startup;
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-31 wenzelm 2017-05-31 tuned layout;
2017-05-31 wenzelm 2017-05-31 more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/
2017-05-30 wenzelm 2017-05-30 merged
2017-05-30 wenzelm 2017-05-30 tuned -- like Dynamic_Preview;
2017-05-30 wenzelm 2017-05-30 tuned;
2017-05-30 wenzelm 2017-05-30 provide preview content on Scala side (similar to output);
2017-05-30 wenzelm 2017-05-30 tuned signature;
2017-05-30 wenzelm 2017-05-30 more careful treatment of context.subscriptions;
2017-05-30 wenzelm 2017-05-30 clarified event handling; tuned;
2017-05-30 wenzelm 2017-05-30 tuned;
2017-05-30 wenzelm 2017-05-30 clarified modules;
2017-05-30 wenzelm 2017-05-30 tuned;
2017-05-30 wenzelm 2017-05-30 clarified modules;
2017-05-30 wenzelm 2017-05-30 tuned imports;
2017-05-30 wenzelm 2017-05-30 clarified modules;
2017-05-30 wenzelm 2017-05-30 clarified signature;
2017-05-30 wenzelm 2017-05-30 clarified modules;
2017-05-30 nipkow 2017-05-30 tuned names
2017-05-30 nipkow 2017-05-30 adjusted doc
2017-05-30 nipkow 2017-05-30 redefined Greatest
2017-05-29 wenzelm 2017-05-29 merged
2017-05-29 wenzelm 2017-05-29 update preview after document change; clarified encode_name/decode_name; clarified other_column;