Mon, 05 Aug 2013 15:48:13 +0200 more message markup, provided by prover;
wenzelm [Mon, 05 Aug 2013 15:48:13 +0200] rev 52863
more message markup, provided by prover;
Mon, 05 Aug 2013 15:29:10 +0200 tuned signature -- more uniform treatment of overlays as command mapping;
wenzelm [Mon, 05 Aug 2013 15:29:10 +0200] rev 52862
tuned signature -- more uniform treatment of overlays as command mapping;
Mon, 05 Aug 2013 15:03:52 +0200 commands with overlay remain visible, to avoid loosing printed output;
wenzelm [Mon, 05 Aug 2013 15:03:52 +0200] rev 52861
commands with overlay remain visible, to avoid loosing printed output;
Mon, 05 Aug 2013 11:08:54 +0200 initial update of nodes_required, for proper GUI state;
wenzelm [Mon, 05 Aug 2013 11:08:54 +0200] rev 52860
initial update of nodes_required, for proper GUI state;
Mon, 05 Aug 2013 11:01:17 +0200 tuned signature;
wenzelm [Mon, 05 Aug 2013 11:01:17 +0200] rev 52859
tuned signature;
Mon, 05 Aug 2013 10:55:46 +0200 avoid repeated PIDE.flush_buffers when manipulating overlays;
wenzelm [Mon, 05 Aug 2013 10:55:46 +0200] rev 52858
avoid repeated PIDE.flush_buffers when manipulating overlays;
Fri, 02 Aug 2013 23:03:59 +0200 tuned proofs;
wenzelm [Fri, 02 Aug 2013 23:03:59 +0200] rev 52857
tuned proofs;
Fri, 02 Aug 2013 22:54:28 +0200 merged
wenzelm [Fri, 02 Aug 2013 22:54:28 +0200] rev 52856
merged
Fri, 02 Aug 2013 22:46:54 +0200 some actual find_theorems functionality;
wenzelm [Fri, 02 Aug 2013 22:46:54 +0200] rev 52855
some actual find_theorems functionality;
Fri, 02 Aug 2013 22:17:53 +0200 more general Output.result: allow to update arbitrary properties;
wenzelm [Fri, 02 Aug 2013 22:17:53 +0200] rev 52854
more general Output.result: allow to update arbitrary properties; clarified kind/instance of overlay GUI component, with separate output (subject to version as main Output);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip