src/Tools/jEdit/src/active.scala
Mon, 19 May 2014 15:00:11 +0200 wenzelm re-focus target explicity, e.g. relevant for Sledgehammer panel;
Fri, 25 Apr 2014 20:21:27 +0200 wenzelm prefer Isabelle/Scala operations;
Tue, 22 Apr 2014 23:49:15 +0200 wenzelm avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
Sat, 05 Apr 2014 22:37:17 +0200 wenzelm more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;
Tue, 18 Feb 2014 18:29:02 +0100 wenzelm more standard names for protocol and markup elements;
Tue, 04 Feb 2014 09:04:59 +0000 Lars Hupel interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
Thu, 21 Nov 2013 21:55:29 +0100 wenzelm back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;
Tue, 10 Sep 2013 11:46:51 +0200 wenzelm tuned signature;
Thu, 18 Jul 2013 20:53:22 +0200 wenzelm explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
Fri, 05 Jul 2013 16:01:45 +0200 wenzelm tuned signature;
Fri, 05 Jul 2013 15:38:03 +0200 wenzelm explicit module Document_ID as source of globally unique identifiers across ML/Scala;
Mon, 20 May 2013 13:54:24 +0200 wenzelm discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
Fri, 04 Jan 2013 12:33:25 +0100 wenzelm prefer old graph browser in Isabelle/jEdit, which still produces better layout;
Thu, 13 Dec 2012 13:52:18 +0100 wenzelm identify dialogs via official serial and maintain as result message;
Wed, 12 Dec 2012 21:50:42 +0100 wenzelm support dialog via document content;
Mon, 10 Dec 2012 19:28:56 +0100 wenzelm keep diagnostic command -- avoid confusion when it disappears;
Mon, 10 Dec 2012 15:17:47 +0100 wenzelm stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
Mon, 10 Dec 2012 13:52:33 +0100 wenzelm generalized notion of active area, where sendback is just one application;
less more (0) tip