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