wenzelm [Mon, 18 Aug 2014 12:17:31 +0200] rev 59103
Added tag Isabelle2014-RC4 for changeset 113b43b84412
wenzelm [Mon, 18 Aug 2014 12:15:11 +0200] rev 59102
updated to jdk-7u67;
wenzelm [Sun, 17 Aug 2014 16:05:43 +0200] rev 59101
postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side;
wenzelm [Fri, 15 Aug 2014 13:39:59 +0200] rev 59100
explicit system message for protocol failure -- show on Syslog panel instead of Raw Output;
more robust crash recovery: warning could crash again;
wenzelm [Wed, 13 Aug 2014 20:21:04 +0200] rev 59099
added option editor_syslog_limit;
wenzelm [Wed, 13 Aug 2014 20:08:29 +0200] rev 59098
tuned;
wenzelm [Wed, 13 Aug 2014 15:45:41 +0200] rev 59097
updated to cygwin-20140813 -- some version after 1.7.31-3;
wenzelm [Sun, 10 Aug 2014 14:08:36 +0200] rev 59096
Added tag Isabelle2014-RC3 for changeset 91e188508bc9
wenzelm [Sun, 10 Aug 2014 13:59:08 +0200] rev 59095
proper layered_pane for JDialog, e.g. relevant for floating dockables in jEdit, for completion popup in text field;
wenzelm [Sun, 10 Aug 2014 13:06:26 +0200] rev 59094
follow link to originating command, to ensure that Simplifier_Trace_Dockable displays its results (via current_command);