src/Pure/System/options.scala
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;
2012-07-30 wenzelm 2012-07-30 allow negative int values as well, according to real = int | float;
2012-07-28 wenzelm 2012-07-28 some description of main build options;
2012-07-27 wenzelm 2012-07-27 simplified Path vs. JVM File operations;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
2012-07-23 wenzelm 2012-07-23 added ML version of stand-alone options, with XML.encode/decode operations (unidirectional from Scala to ML);
2012-07-21 wenzelm 2012-07-21 propagate defined options; misc tuning;
2012-07-20 wenzelm 2012-07-20 more abstract file system operations in Scala, corresponding to ML version;
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
2012-07-20 wenzelm 2012-07-20 further imitation of "usedir" shell script; Pure/build observes build_images option, unlike traditional version; tuned signature;
2012-07-20 wenzelm 2012-07-20 require explicit initialization of options; more explicit Position operations;
2012-07-20 wenzelm 2012-07-20 tuned signature;
2012-07-20 wenzelm 2012-07-20 define build_options from command line;
2012-07-20 wenzelm 2012-07-20 basic support for stand-alone options with external string representation;