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;
2017-05-29 wenzelm 2017-05-29 proper HTML preview;
2017-05-29 wenzelm 2017-05-29 clarified view column; tuned whitespace;
2017-05-29 wenzelm 2017-05-29 basic setup for document preview;
2017-05-29 eberlm 2017-05-29 Tuned Library/Sublist.thy
2017-05-29 eberlm 2017-05-29 reorganised material on sublists
2017-05-28 nipkow 2017-05-28 removed GreatestM
2017-05-28 nipkow 2017-05-28 introduced arg_max
2017-05-28 nipkow 2017-05-28 added is_arg_min
2017-05-28 nipkow 2017-05-28 removed LeastM; is now arg_min
2017-05-27 nipkow 2017-05-27 more arg_min
2017-05-27 wenzelm 2017-05-27 no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history;
2017-05-27 wenzelm 2017-05-27 tuned;
2017-05-27 wenzelm 2017-05-27 clarified build errors; tuned signature;
2017-05-27 wenzelm 2017-05-27 tuned layout;
2017-05-27 wenzelm 2017-05-27 tuned signature;
2017-05-27 wenzelm 2017-05-27 tuned signature;
2017-05-27 wenzelm 2017-05-27 tuned signature;
2017-05-27 wenzelm 2017-05-27 tuned signature;