Fri, 09 Jun 2017 19:23:29 +0200 wenzelm clarified modules;
Fri, 09 Jun 2017 17:13:50 +0200 wenzelm provide information about Isabelle symbols within VSCode;
Fri, 09 Jun 2017 16:59:14 +0200 wenzelm tuned signature;
Fri, 09 Jun 2017 18:36:25 +0200 eberlm Cleaned up and extended Probability/Tree_Space
Fri, 09 Jun 2017 10:10:08 -0400 hoelzl HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections
Fri, 09 Jun 2017 14:25:00 +0200 wenzelm avoid markup, for the sake of Build_Log.Log_File.parse_props;
Fri, 09 Jun 2017 13:56:32 +0200 wenzelm more robust: store important meta info before potential failure;
Fri, 09 Jun 2017 13:42:17 +0200 wenzelm tuned message;
Fri, 09 Jun 2017 11:39:02 +0200 wenzelm merged
Thu, 08 Jun 2017 23:04:07 +0200 wenzelm more HTML rendering as in Isabelle/jEdit;
Thu, 08 Jun 2017 21:17:13 +0200 wenzelm tuned signature;
Thu, 08 Jun 2017 15:12:30 +0200 wenzelm clarified menu;
Thu, 08 Jun 2017 14:27:13 +0200 wenzelm clarified signature;
Thu, 08 Jun 2017 14:08:07 +0200 wenzelm HTML preview based on PIDE markup;
Thu, 08 Jun 2017 13:17:40 +0200 wenzelm explicit foreground color, for the sake of dark theme in VSCode;
Thu, 08 Jun 2017 13:01:50 +0200 wenzelm tuned layout (amending 8040d2563593);
Thu, 08 Jun 2017 12:54:55 +0200 wenzelm more official session qualifier;
Thu, 08 Jun 2017 12:25:59 +0200 wenzelm clarified;
Thu, 08 Jun 2017 23:37:01 +0200 boehmes 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
Wed, 07 Jun 2017 23:23:48 +0200 wenzelm merged
Wed, 07 Jun 2017 21:19:33 +0200 wenzelm clarified output;
Wed, 07 Jun 2017 20:46:03 +0200 wenzelm more tooltips;
Wed, 07 Jun 2017 20:18:23 +0200 wenzelm clarified imports;
Wed, 07 Jun 2017 20:06:50 +0200 wenzelm update strictly local imports only;
Wed, 07 Jun 2017 19:41:05 +0200 wenzelm proper imports_base;
Wed, 07 Jun 2017 19:13:22 +0200 wenzelm tuned;
Wed, 07 Jun 2017 15:52:18 +0200 wenzelm avoid redundant Preview documents;
Wed, 07 Jun 2017 17:11:45 -0400 hoelzl HOL-Probability: add measurable space for trees
Tue, 06 Jun 2017 23:13:53 +0200 wenzelm clarified import of loaded theory;
Mon, 05 Jun 2017 21:24:41 +0200 haftmann decomposed tuple
Mon, 05 Jun 2017 21:24:40 +0200 haftmann tuned
Mon, 05 Jun 2017 21:24:39 +0200 haftmann clarified message
Tue, 06 Jun 2017 13:42:38 +0200 wenzelm tuned signature;
Tue, 06 Jun 2017 13:13:25 +0200 wenzelm discontinued obsolete print mode;
Mon, 05 Jun 2017 23:55:58 +0200 wenzelm HTML preview via builtin HTTP server;
Mon, 05 Jun 2017 23:13:08 +0200 wenzelm permissive output of XML.Text, e.g. relevant for embedded <style>;
Mon, 05 Jun 2017 15:59:47 +0200 haftmann avoid Local_Theory.reset in application space
Mon, 05 Jun 2017 15:59:45 +0200 haftmann tuned
Mon, 05 Jun 2017 15:59:45 +0200 haftmann specific output setup is not supposed to intrude regular import theory
Mon, 05 Jun 2017 15:59:45 +0200 haftmann avoid duplicate
Mon, 05 Jun 2017 15:59:45 +0200 haftmann streamlined code setup for fake terms
Mon, 05 Jun 2017 15:59:45 +0200 haftmann modernized (code) setup for enumeration predicates
Mon, 05 Jun 2017 15:59:45 +0200 haftmann simplified setup
Mon, 05 Jun 2017 15:59:41 +0200 haftmann executable domain membership checks
Mon, 05 Jun 2017 20:03:01 +0200 wenzelm more tests;
Mon, 05 Jun 2017 15:56:00 +0200 wenzelm cover more history;
Mon, 05 Jun 2017 15:37:51 +0200 wenzelm cover more history;
Mon, 05 Jun 2017 13:19:14 +0200 wenzelm uniform notion of Symbol.is_controllable (see also 265d9300d523);
Fri, 02 Jun 2017 09:26:04 +0200 lammich merged
Thu, 01 Jun 2017 16:56:05 +0200 lammich Added char, ref, array to heap-storable types
Thu, 01 Jun 2017 16:55:32 +0200 lammich Fixed to also work with non-IntInf default int type
Thu, 01 Jun 2017 23:22:40 +0200 wenzelm updated package;
Thu, 01 Jun 2017 23:17:11 +0200 wenzelm proper markup for IsabelleText font;
Thu, 01 Jun 2017 23:12:48 +0200 wenzelm generate CSS for Isabelle fonts;
Thu, 01 Jun 2017 21:43:36 +0200 wenzelm tuned signature;
Thu, 01 Jun 2017 21:24:33 +0200 wenzelm tuned signature;
Thu, 01 Jun 2017 21:15:56 +0200 wenzelm output control symbols like ML version, with optionally hidden source;
Thu, 01 Jun 2017 21:14:38 +0200 wenzelm use css from Isabelle distribution;
Thu, 01 Jun 2017 20:52:31 +0200 wenzelm clarified output;
Thu, 01 Jun 2017 17:36:29 +0200 wenzelm proper update of already existing preview;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip