src/Tools/jEdit/src/isabelle_logic.scala
2016-03-08 wenzelm 2016-03-08 more abstract Session.start, without prover command-line; Isabelle_Process.apply is directly based on ML_Process; clarified Isabelle_Process.main command-line; tuned signature;
2016-03-07 wenzelm 2016-03-07 Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined; more robust File.bash_escape; more robust treatment of ML_OPTIONS; clarified prover args (again);
2016-02-29 wenzelm 2016-02-29 isabelle_process executable no longer supports writable heap images;
2016-02-14 wenzelm 2016-02-14 more careful quoting for the sake of Windows;
2016-02-14 wenzelm 2016-02-14 tuned signature;
2016-02-13 wenzelm 2016-02-13 clarified bash process -- similar to ML version;
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;