unused -- clone of Option.apply;

tuned;

static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
more uses of "using";

more operations (as in ML);

prefer typed UUID;

clarified argument formats: explicit Unit, allow XML.Elem as well;
tuned messages: prefer single quotes for JSON output;

eliminated clones;

more operations (as in ML);

more operations;

tuned signature;

clarified modules;

clarified signature;

more operations;

more permissive, e.g. for system operations as in 678e00851cfb;

prefer standard getOrElse;

more operations;

tuned;

tuned;

Line.Document consists of independently allocated strings;
tuned signature;

discontinued unused / untested distinction of separate PIDE modules;

support for XML as HTML;
tuned;

more general operations;

tuned signature;

clarified modules;
afford explicit string composition in terminate_lines;

tuned -- fewer warnings;

maintain abbrevs in canonical reverse order;

support resource management;

support for (single) primary key;
more operations;

simplified;

some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;

upgrade "isabelle build" to Isabelle/Scala;

clarified modules;

clarified length of block with pre-existant forced breaks;

more explicit exception User_Error, with value-oriented equality;

tuned;

misc tuning, based on warnings by IntelliJ IDEA;

completion for bibtex entries;

more compact representation of special string values;

more general notion of "user error" including empty message -- NB: Output.error_message needs non-empty string to emit anything;

support for path completion based on file-system content;

tuned signature -- separate pool for JFuture tasks, which can be canceled;

unused;

more canonical list operations;

canonical list operations, as in ML;
avoid odd mutable data structures;

updated according to scala-2.11.0 recommendations;

more specific support for sequence of words;

tuned signature -- separate module Word;

eliminated somewhat pointless locale parameter;

some case-mangling;
clarified use of locale;

more detailed description of completion items;

support for nested text cartouches;
clarified Symbol.is_symbolic: exclude \<open> and \<close>;

proper concatenation of messages;

slightly improved "isabelle doc" based on Isabelle/Scala;
updated documentation of "isabelle display";

--HG--
rename : src/Pure/System/doc.scala => src/Pure/Tools/doc.scala

more frugal line termination, to cope with huge log files (see also 016cb7d8f297);

more scalable Library.separate -- NB: JVM has tiny fixed-size stack;

tuned signature -- concentrate GUI tools;

tuned font size, notably for current HD displays;

tuned signature;

immediate theory progress for build_dialog;
more formal Bash_Result -- accumulate output as lines;

tuned error dialog;

improved coupling of zoom_box and scale;
explicit rescale(1.0) on startup;

explore theory_body_files via future, for improved performance;
further internalization of header errors;

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

more management of Invoke_Scala tasks;

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

clarified separated_chunks vs. space_explode;

more general notion of user ERROR (cf. 44f56fe01528);

parallel scheduling of jobs;
misc tuning;

proper commas_quote;

tuned width;

less warning in scala-2.10.0-M3;

some attempts to make critical errors fit on screen;

misc tuning to accomodate scala-2.10.0-M2;

more explicit development graph;

tuned imports;

added cat_lines convenience;

prefer sorting from Scala library;

separate compilation of PIDE vs. Pure sources, which enables independent Scala library;

explicit indication of modules for independent Scala library;

tuned signature (according to ML version);

class Time as abstract datatype;

graph traversal in topological order;
Session.snapshot() with sensible defaults;

more flexible sorting;
tuned display;

some support for theory status overview;

some dialog for auto loading of required files (still inactive);

clarified Exn.message;

tuned error messages;

tuned error message;

prefer space_explode/split_lines as in Isabelle/ML;

pervasive Basic_Library in Scala;
tuned;

basic operations on lists and strings;

tuned -- Map.empty serves as partial function;

more abstract/uniform handling of time, preferring seconds as Double;

Sidekick block asset: show first line only;

module for simplified thread operations (Scala version);

tuned;

added Library.thread_actor -- thread as actor;

simple_dialog: allow scala.swing.Component as well;

more precise timing;

tuned zoom_box;
tuned tooltips;

added Library.undefined (in Scala);

added somewhat generic zoom box;

simple dialogs: ensure Swing thread;

added separate;

slightly more general Library.chunks;

tuned message;

timeit message;

added simple dialogs;

moved Library.decode_permissive_utf8 to Isabelle_System;
moved Library.with_tmp_file to Isabelle_System;
added Isabelle_System.read_file/write_file;
added Isabelle_System.system_out, with propagation of thread interrupts and process shutdown (global CTRL-C);

higher-order treatment of temporary files;

factored-out Library.decode_permissive_utf8;

simiplified result of keyword parser (again);
sort completions by plain string order;
moved Reverse to library.scala;

added basic library -- Scala version;
added extra support for exceptions -- Scala version;
moved exn.ML to accompany exn.scala;

--HG--
rename : src/Pure/ML-Systems/exn.ML => src/Pure/General/exn.ML