src/Tools/jEdit/src/isabelle_logic.scala
Thu, 01 Aug 2013 22:19:32 +0200 wenzelm more explicit read-only non-TTY mode;
Mon, 24 Jun 2013 23:33:14 +0200 wenzelm improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
Wed, 27 Feb 2013 19:39:16 +0100 wenzelm eliminated pointless re-ified errors;
Mon, 17 Dec 2012 11:07:20 +0100 wenzelm offer sessions of group "main" first to increase chances that the user makes a sensible choice;
Thu, 06 Dec 2012 17:59:37 +0100 wenzelm more uniform default logic, using settings, options, args etc.;
Wed, 05 Dec 2012 22:25:15 +0100 wenzelm select logic session names, not paths;
Wed, 05 Dec 2012 19:25:57 +0100 wenzelm clarified logic argument: session name, not path name;
Sun, 25 Nov 2012 20:59:32 +0100 wenzelm renamed main plugin object to PIDE;
Thu, 04 Oct 2012 19:31:50 +0200 wenzelm refined rich tooltip options;
Tue, 11 Sep 2012 19:35:21 +0200 wenzelm more informative tooltip: default value;
Tue, 11 Sep 2012 15:47:42 +0200 wenzelm some support to organize options in sections;
Mon, 10 Sep 2012 19:56:08 +0200 wenzelm proper multi-line tooltip;
Mon, 10 Sep 2012 19:49:30 +0200 wenzelm more detailed option tooltip;
Mon, 10 Sep 2012 17:13:17 +0200 wenzelm more systematic JEdit_Options.make_component;
less more (0) tip