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;