src/Tools/jEdit/src/isabelle_logic.scala
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;
less more (0) -10 -7 tip