src/Tools/jEdit/src/isabelle.scala
Thu, 29 Aug 2013 12:38:33 +0200 wenzelm maintain Completion_Popup.Text_Area as client property like Document_View;
Thu, 29 Aug 2013 10:01:59 +0200 wenzelm more abstract Completion_Popup.Text_Area;
Fri, 23 Aug 2013 11:41:17 +0200 wenzelm added action isabelle.reset-font-size;
Tue, 13 Aug 2013 20:34:46 +0200 wenzelm discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
Mon, 12 Aug 2013 12:06:48 +0200 wenzelm tuned signature;
Wed, 31 Jul 2013 21:13:05 +0200 wenzelm home-grown mouse handling to pretend that the painted checkbox is actually a Swing component;
Wed, 31 Jul 2013 19:59:14 +0200 wenzelm actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
Tue, 26 Mar 2013 11:26:13 +0100 wenzelm dockable window for timing information;
Tue, 08 Jan 2013 18:24:52 +0100 wenzelm upper bound for font size;
Sat, 08 Dec 2012 22:19:24 +0100 wenzelm basic monitor panel, using the powerful jfreechart library;
Tue, 04 Dec 2012 11:06:51 +0100 wenzelm provide general insert_line_padding as convenience operation, e.g. for BeanShell macros;
Fri, 30 Nov 2012 21:30:24 +0100 wenzelm renamed dockable "Prover Session" to "Theories";
Sun, 25 Nov 2012 21:40:34 +0100 wenzelm tuned signature;
Sun, 25 Nov 2012 21:35:29 +0100 wenzelm tuned signature;
less more (0) tip