2015-09-30 wenzelm 2015-09-30 clarified modules; more conventional GUI threading;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2014-08-12 wenzelm 2014-08-12 tuned;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-05-07 wenzelm 2014-05-07 tuned signature;
2014-04-30 wenzelm 2014-04-30 some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2013-12-30 wenzelm 2013-12-30 added system option "jedit_print_mode";
2013-08-01 wenzelm 2013-08-01 more explicit read-only non-TTY mode;
2013-06-24 wenzelm 2013-06-24 improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; tuned signature;
2013-02-27 wenzelm 2013-02-27 eliminated pointless re-ified errors;
2012-12-17 wenzelm 2012-12-17 offer sessions of group "main" first to increase chances that the user makes a sensible choice;
2012-12-06 wenzelm 2012-12-06 more uniform default logic, using settings, options, args etc.; clarified build_dialog -C: imitate jEdit logic selection more precisely;
2012-12-05 wenzelm 2012-12-05 select logic session names, not paths;
2012-12-05 wenzelm 2012-12-05 clarified logic argument: session name, not path name; tuned;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-10-04 wenzelm 2012-10-04 refined rich tooltip options; basic tooltips without markup;
2012-09-11 wenzelm 2012-09-11 more informative tooltip: default value;
2012-09-11 wenzelm 2012-09-11 some support to organize options in sections;
2012-09-10 wenzelm 2012-09-10 proper multi-line tooltip;
2012-09-10 wenzelm 2012-09-10 more detailed option tooltip; more formal option.load; properties change propagation to Session_Dockable;
2012-09-10 wenzelm 2012-09-10 more systematic JEdit_Options.make_component; separate module Isabelle_Logic;