tuned signature;

more flexible preferences: avoid hardwired file;
tuned signature;

avoid println with its extra CR on Windows;

clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;

init only once (see also c0f776b661fa);

proper tool name (cf. c1410bcf6e87);

afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56);
tuned signature;

support for separate sub-system options, independent of main Isabelle options;
tuned;

tuned -- Date.Format.default used by toString;

modernized;

clarified modules;

explicit kind "before_command";
tuned signature;

clarified syntax;

prefer internal tool;

tuned signature;

moved getopts to Scala;

clarified errors: more explicit treatment of uninitialized state;

symbolic syntax "\<comment> text";

clarified keywords for quasi-command spans and Sidekick structure;

clarified position;

clarified span position;

position parser as in ML;

tuned signature;

misc tuning, based on warnings by IntelliJ IDEA;

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;

tuned signature;

uniform heading commands work in any context, even in theory header;
discontinued obsolete 'sect', 'subsect', 'subsubsect';
marked obsolete 'header' as legacy;

prefer scala.Console with its support for thread-local redirection;

tuned;

capitalize more carefully, e.g. relevant for option "ML_exception_trace";

more specific support for sequence of words;

tuned signature -- separate module Word;

added dictionaries_selector GUI;
tuned;

some case-mangling;
clarified use of locale;

more positions and markup;

tuned imports;

clarified isabelle options -l;

more general backup files;

clarified meaning of options for "isabelle options";

support isabelle options -g;

explicit notion of public options, which are shown in the editor options dialog;
avoid hard-wired stuff;

tuned comments;

more conventional synchronized access to Options_Variable -- avoid Swing_Thread getting in the way, which might be absent in some environments (e.g. SWT);

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;

create required PREFS_DIR;

renamed dockable "Prover Session" to "Theories";
more uniform Library.lowercase/uppercase;

--HG--
rename : src/Tools/jEdit/src/session_dockable.scala => src/Tools/jEdit/src/theories_dockable.scala

tuned signature;

more explicit auxiliary classes to avoid warning "reflective access of structural type member method" of scala-2.10.0-RC1;

some GUI support for color options;

more precise sections;

more informative tooltip: default value;

some support to organize options in sections;

more detailed option tooltip;
more formal option.load;
properties change propagation to Session_Dockable;

more systematic JEdit_Options.make_component;
separate module Isabelle_Logic;

manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);

renamed Position.str_of to Position.here;

retain unknown options within preferences;
tuned print;

some support for persistent user preferences;

clarified format of etc/options: only declarations, not re-definitions;

more structural parsing for minor modes;
tuned signatures;

more token markers, based on actual outer syntax;
prefer official Outer_Syntax.init with its completions;

"isabelle options" prints Isabelle system options;

allow negative int values as well, according to real = int | float;

some description of main build options;

simplified Path vs. JVM File operations;

pass build options to ML;
some imitation of usedir Session.init;

added ML version of stand-alone options, with XML.encode/decode operations (unidirectional from Scala to ML);

propagate defined options;
misc tuning;

more abstract file system operations in Scala, corresponding to ML version;

more explicit java.io.{File => JFile};

further imitation of "usedir" shell script;
Pure/build observes build_images option, unlike traditional version;
tuned signature;

require explicit initialization of options;
more explicit Position operations;

tuned signature;

define build_options from command line;

basic support for stand-alone options with external string representation;