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;
wenzelm [Wed, 26 Mar 2014 19:42:16 +0100] rev 56295
clarified valid_id: always standardize towards static command.id;
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;
wenzelm [Wed, 26 Mar 2014 14:15:34 +0100] rev 56293
unused;
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);
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;
huffman [Wed, 26 Mar 2014 11:05:25 -0700] rev 56290
tuned proofs
paulson <lp15@cam.ac.uk> [Wed, 26 Mar 2014 14:00:37 +0000] rev 56289
Some useful lemmas