Wed, 26 Mar 2014 20:08:07 +0100 less markup by default -- this is stored persistently in Isabelle/Scala;
wenzelm [Wed, 26 Mar 2014 20:08:07 +0100] rev 56296
less markup by default -- this is stored persistently in Isabelle/Scala; removed dead code;
Wed, 26 Mar 2014 19:42:16 +0100 clarified valid_id: always standardize towards static command.id;
wenzelm [Wed, 26 Mar 2014 19:42:16 +0100] rev 56295
clarified valid_id: always standardize towards static command.id;
Wed, 26 Mar 2014 14:41:52 +0100 prefer Context_Position where a context is available;
wenzelm [Wed, 26 Mar 2014 14:41:52 +0100] rev 56294
prefer Context_Position where a context is available; prefer explicit Context_Position.is_visible -- avoid redundant message composition; tuned signature;
Wed, 26 Mar 2014 14:15:34 +0100 unused;
wenzelm [Wed, 26 Mar 2014 14:15:34 +0100] rev 56293
unused;
Wed, 26 Mar 2014 12:32:51 +0100 more uniform Execution.fork vs. Execution.print;
wenzelm [Wed, 26 Mar 2014 12:32:51 +0100] rev 56292
more uniform Execution.fork vs. Execution.print; asynchronous Execution.fork_prints, entrusted to Execution.fork management (NB: Command.print_finished is only relevant for persistent print functions);
Wed, 26 Mar 2014 12:15:42 +0100 added Execution.print: accumulate print operations for some command execution, which are applied later and print time;
wenzelm [Wed, 26 Mar 2014 12:15:42 +0100] rev 56291
added Execution.print: accumulate print operations for some command execution, which are applied later and print time; misc tuning;
Wed, 26 Mar 2014 11:05:25 -0700 tuned proofs
huffman [Wed, 26 Mar 2014 11:05:25 -0700] rev 56290
tuned proofs
Wed, 26 Mar 2014 14:00:37 +0000 Some useful lemmas
paulson <lp15@cam.ac.uk> [Wed, 26 Mar 2014 14:00:37 +0000] rev 56289
Some useful lemmas
Wed, 26 Mar 2014 09:19:04 +0100 tuned comments;
wenzelm [Wed, 26 Mar 2014 09:19:04 +0100] rev 56288
tuned comments;
Wed, 26 Mar 2014 09:13:38 +0100 tuned load order;
wenzelm [Wed, 26 Mar 2014 09:13:38 +0100] rev 56287
tuned load order;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip