src/Pure/library.scala
2014-04-25 wenzelm 2014-04-25 unused;
2014-04-24 wenzelm 2014-04-24 more canonical list operations;
2014-04-24 wenzelm 2014-04-24 canonical list operations, as in ML; avoid odd mutable data structures;
2014-04-23 wenzelm 2014-04-23 updated according to scala-2.11.0 recommendations;
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-14 wenzelm 2014-04-14 eliminated somewhat pointless locale parameter;
2014-04-12 wenzelm 2014-04-12 some case-mangling; clarified use of locale;
2014-03-07 wenzelm 2014-03-07 more detailed description of completion items;
2014-01-18 wenzelm 2014-01-18 support for nested text cartouches; clarified Symbol.is_symbolic: exclude \<open> and \<close>;
2013-11-21 wenzelm 2013-11-21 proper concatenation of messages;
2013-06-25 wenzelm 2013-06-25 slightly improved "isabelle doc" based on Isabelle/Scala; updated documentation of "isabelle display";
2013-05-14 wenzelm 2013-05-14 more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
2013-05-14 wenzelm 2013-05-14 more scalable Library.separate -- NB: JVM has tiny fixed-size stack;
2013-04-04 wenzelm 2013-04-04 tuned signature -- concentrate GUI tools;
2013-01-12 wenzelm 2013-01-12 tuned font size, notably for current HD displays;
2013-01-12 wenzelm 2013-01-12 tuned signature;
2013-01-12 wenzelm 2013-01-12 immediate theory progress for build_dialog; more formal Bash_Result -- accumulate output as lines;
2012-12-14 wenzelm 2012-12-14 tuned error dialog;
2012-12-12 wenzelm 2012-12-12 improved coupling of zoom_box and scale; explicit rescale(1.0) on startup;
2012-12-07 wenzelm 2012-12-07 explore theory_body_files via future, for improved performance; further internalization of header errors;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-09-20 wenzelm 2012-09-20 more management of Invoke_Scala tasks;
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 clarified separated_chunks vs. space_explode;
2012-07-24 wenzelm 2012-07-24 more general notion of user ERROR (cf. 44f56fe01528);
2012-07-22 wenzelm 2012-07-22 parallel scheduling of jobs; misc tuning;
2012-07-20 wenzelm 2012-07-20 proper commas_quote;
2012-07-19 wenzelm 2012-07-19 tuned width;
2012-05-24 wenzelm 2012-05-24 less warning in scala-2.10.0-M3;
2012-05-04 wenzelm 2012-05-04 some attempts to make critical errors fit on screen;
2012-03-17 wenzelm 2012-03-17 misc tuning to accomodate scala-2.10.0-M2;
2012-02-27 wenzelm 2012-02-27 more explicit development graph;
2012-02-24 wenzelm 2012-02-24 tuned imports;
2012-01-12 wenzelm 2012-01-12 added cat_lines convenience;
2011-12-16 wenzelm 2011-12-16 prefer sorting from Scala library;
2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm 2011-11-28 explicit indication of modules for independent Scala library;
2011-11-28 wenzelm 2011-11-28 tuned signature (according to ML version);
2011-10-22 wenzelm 2011-10-22 class Time as abstract datatype;
2011-09-18 wenzelm 2011-09-18 graph traversal in topological order; Session.snapshot() with sensible defaults;
2011-09-01 wenzelm 2011-09-01 more flexible sorting; tuned display;
2011-08-31 wenzelm 2011-08-31 some support for theory status overview;
2011-08-29 wenzelm 2011-08-29 some dialog for auto loading of required files (still inactive);
2011-08-12 wenzelm 2011-08-12 clarified Exn.message;
2011-07-11 wenzelm 2011-07-11 tuned error messages;
2011-07-11 wenzelm 2011-07-11 tuned error message;
2011-07-05 wenzelm 2011-07-05 prefer space_explode/split_lines as in Isabelle/ML;
2011-07-04 wenzelm 2011-07-04 pervasive Basic_Library in Scala; tuned;
2011-06-29 wenzelm 2011-06-29 basic operations on lists and strings;
2011-06-18 wenzelm 2011-06-18 tuned -- Map.empty serves as partial function;
2010-12-01 wenzelm 2010-12-01 more abstract/uniform handling of time, preferring seconds as Double;
2010-11-10 wenzelm 2010-11-10 Sidekick block asset: show first line only;
2010-08-23 wenzelm 2010-08-23 module for simplified thread operations (Scala version);
2010-08-22 wenzelm 2010-08-22 tuned;
2010-08-10 wenzelm 2010-08-10 added Library.thread_actor -- thread as actor;
2010-08-07 wenzelm 2010-08-07 simple_dialog: allow scala.swing.Component as well;
2010-07-03 wenzelm 2010-07-03 more precise timing;
2010-05-21 wenzelm 2010-05-21 tuned zoom_box; tuned tooltips;
2010-05-21 wenzelm 2010-05-21 added Library.undefined (in Scala);