src/Pure/library.scala
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);
2010-05-20 wenzelm 2010-05-20 added somewhat generic zoom box;
2010-05-10 wenzelm 2010-05-10 simple dialogs: ensure Swing thread;
2010-05-06 wenzelm 2010-05-06 added separate;
2010-05-06 wenzelm 2010-05-06 slightly more general Library.chunks;
2010-01-11 wenzelm 2010-01-11 tuned message;
2010-01-11 wenzelm 2010-01-11 timeit message;
2009-12-31 wenzelm 2009-12-31 added simple dialogs;
2009-12-28 wenzelm 2009-12-28 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);
2009-12-28 wenzelm 2009-12-28 higher-order treatment of temporary files;
2009-12-27 wenzelm 2009-12-27 factored-out Library.decode_permissive_utf8;
2009-12-20 wenzelm 2009-12-20 simiplified result of keyword parser (again); sort completions by plain string order; moved Reverse to library.scala;
2009-12-19 wenzelm 2009-12-19 added basic library -- Scala version; added extra support for exceptions -- Scala version; moved exn.ML to accompany exn.scala;