src/Tools/jEdit/src/session_dockable.scala
Tue, 06 Sep 2011 11:25:27 +0200 wenzelm more specific message channels to avoid potential bottle-neck of raw_messages;
Sat, 03 Sep 2011 12:31:27 +0200 wenzelm some support to prune_history;
Thu, 01 Sep 2011 16:58:41 +0200 wenzelm sort wrt. theory name;
Thu, 01 Sep 2011 14:10:52 +0200 wenzelm more flexible sorting;
Thu, 01 Sep 2011 13:34:45 +0200 wenzelm more abstract Document.Node.Name;
Wed, 31 Aug 2011 22:10:07 +0200 wenzelm crude display of node status;
Wed, 31 Aug 2011 17:36:10 +0200 wenzelm some support for theory status overview;
Sat, 20 Aug 2011 20:24:12 +0200 wenzelm discontinued "Interrupt", which could disturb administrative tasks of the document model;
Fri, 19 Aug 2011 13:55:32 +0200 wenzelm editable raw text areas: allow user to clear content;
Sat, 09 Jul 2011 21:53:27 +0200 wenzelm echo prover input via raw_messages, for improved protocol tracing;
Mon, 04 Jul 2011 22:11:32 +0200 wenzelm quasi-static Isabelle_System -- reduced tendency towards "functorial style";
Thu, 30 Jun 2011 14:55:01 +0200 wenzelm prefer Isabelle path algebra;
Thu, 23 Jun 2011 14:52:32 +0200 wenzelm explicit import java.lang.System to prevent odd scope problems;
Wed, 08 Jun 2011 17:42:07 +0200 wenzelm moved sources -- eliminated Netbeans artifact of jedit package directory;
less more (0) tip