src/Pure/System/options.scala
18 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
19 months ago wenzelm 2017-11-04 clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
20 months ago wenzelm 2017-11-01 init only once (see also c0f776b661fa);
21 months ago wenzelm 2017-09-16 proper tool name (cf. c1410bcf6e87);
2017-03-14 wenzelm 2017-03-14 afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56); tuned signature;
2016-10-13 wenzelm 2016-10-13 support for separate sub-system options, independent of main Isabelle options; tuned;
2016-10-11 wenzelm 2016-10-11 tuned -- Date.Format.default used by toString;
2016-10-09 wenzelm 2016-10-09 modernized;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-07-11 wenzelm 2016-07-11 explicit kind "before_command"; tuned signature;
2016-04-13 wenzelm 2016-04-13 clarified syntax;
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-02-28 wenzelm 2016-02-28 tuned signature;
2016-02-27 wenzelm 2016-02-27 moved getopts to Scala;
2016-01-21 wenzelm 2016-01-21 clarified errors: more explicit treatment of uninitialized state;
2015-11-05 wenzelm 2015-11-05 symbolic syntax "\<comment> text";
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-04-18 wenzelm 2015-04-18 clarified keywords for quasi-command spans and Sidekick structure;
2015-03-25 wenzelm 2015-03-25 clarified position;
2015-03-15 wenzelm 2015-03-15 clarified span position;
2015-03-14 wenzelm 2015-03-14 position parser as in ML;
2014-12-03 wenzelm 2014-12-03 tuned signature;
2014-11-13 wenzelm 2014-11-13 uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style; discontinued obsolete 'txt_raw' (superseded by 'text_raw'); eliminated obsolete Outer_Syntax.markup (superseded by keyword kinds); 'text' and 'txt' no longer appear in Sidekick tree due to change of keyword kind; changed tagging of diagnostic commands within proof;
2014-11-05 wenzelm 2014-11-05 tuned signature;
2014-11-02 wenzelm 2014-11-02 uniform heading commands work in any context, even in theory header; discontinued obsolete 'sect', 'subsect', 'subsubsect'; marked obsolete 'header' as legacy;
2014-05-02 wenzelm 2014-05-02 prefer scala.Console with its support for thread-local redirection;
2014-04-22 wenzelm 2014-04-22 tuned;
2014-04-17 wenzelm 2014-04-17 capitalize more carefully, e.g. relevant for option "ML_exception_trace";
2014-04-16 wenzelm 2014-04-16 more specific support for sequence of words;
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-13 wenzelm 2014-04-13 added dictionaries_selector GUI; tuned;
2014-04-12 wenzelm 2014-04-12 some case-mangling; clarified use of locale;
2014-04-08 wenzelm 2014-04-08 more positions and markup;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-10-29 wenzelm 2013-10-29 clarified isabelle options -l;
2013-08-30 wenzelm 2013-08-30 more general backup files;
2013-07-27 wenzelm 2013-07-27 clarified meaning of options for "isabelle options";
2013-07-27 wenzelm 2013-07-27 support isabelle options -g;
2013-05-18 wenzelm 2013-05-18 explicit notion of public options, which are shown in the editor options dialog; avoid hard-wired stuff;
2013-05-12 wenzelm 2013-05-12 tuned comments;
2013-04-04 wenzelm 2013-04-04 more conventional synchronized access to Options_Variable -- avoid Swing_Thread getting in the way, which might be absent in some environments (e.g. SWT);
2013-01-14 wenzelm 2013-01-14 Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X;
2013-01-09 wenzelm 2013-01-09 create required PREFS_DIR;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-10-20 wenzelm 2012-10-20 more explicit auxiliary classes to avoid warning "reflective access of structural type member method" of scala-2.10.0-RC1;
2012-09-11 wenzelm 2012-09-11 some GUI support for color options;
2012-09-11 wenzelm 2012-09-11 more precise sections;
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 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;
2012-09-10 wenzelm 2012-09-10 manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-08-29 wenzelm 2012-08-29 renamed Position.str_of to Position.here;
2012-08-19 wenzelm 2012-08-19 retain unknown options within preferences; tuned print;
2012-08-14 wenzelm 2012-08-14 some support for persistent user preferences;
2012-08-14 wenzelm 2012-08-14 clarified format of etc/options: only declarations, not re-definitions;
2012-08-07 wenzelm 2012-08-07 more structural parsing for minor modes; tuned signatures;
2012-08-07 wenzelm 2012-08-07 more token markers, based on actual outer syntax; prefer official Outer_Syntax.init with its completions;
2012-08-06 wenzelm 2012-08-06 "isabelle options" prints Isabelle system options;