src/Pure/library.scala
2014-01-18 wenzelm support for nested text cartouches;
2013-11-21 wenzelm proper concatenation of messages;
2013-06-25 wenzelm slightly improved "isabelle doc" based on Isabelle/Scala;
2013-05-14 wenzelm more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
2013-05-14 wenzelm more scalable Library.separate -- NB: JVM has tiny fixed-size stack;
2013-04-04 wenzelm tuned signature -- concentrate GUI tools;
2013-01-12 wenzelm tuned font size, notably for current HD displays;
2013-01-12 wenzelm tuned signature;
2013-01-12 wenzelm immediate theory progress for build_dialog;
2012-12-14 wenzelm tuned error dialog;
2012-12-12 wenzelm improved coupling of zoom_box and scale;
2012-12-07 wenzelm explore theory_body_files via future, for improved performance;
2012-11-30 wenzelm renamed dockable "Prover Session" to "Theories";
2012-09-20 wenzelm more management of Invoke_Scala tasks;
2012-09-10 wenzelm manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-08-29 wenzelm clarified separated_chunks vs. space_explode;
2012-07-24 wenzelm more general notion of user ERROR (cf. 44f56fe01528);
2012-07-22 wenzelm parallel scheduling of jobs;
2012-07-20 wenzelm proper commas_quote;
2012-07-19 wenzelm tuned width;
2012-05-24 wenzelm less warning in scala-2.10.0-M3;
2012-05-04 wenzelm some attempts to make critical errors fit on screen;
2012-03-17 wenzelm misc tuning to accomodate scala-2.10.0-M2;
2012-02-27 wenzelm more explicit development graph;
2012-02-24 wenzelm tuned imports;
2012-01-12 wenzelm added cat_lines convenience;
2011-12-16 wenzelm prefer sorting from Scala library;
2011-11-29 wenzelm separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm explicit indication of modules for independent Scala library;
2011-11-28 wenzelm tuned signature (according to ML version);
2011-10-22 wenzelm class Time as abstract datatype;
2011-09-17 wenzelm graph traversal in topological order;
2011-09-01 wenzelm more flexible sorting;
2011-08-31 wenzelm some support for theory status overview;
2011-08-29 wenzelm some dialog for auto loading of required files (still inactive);
2011-08-12 wenzelm clarified Exn.message;
2011-07-11 wenzelm tuned error messages;
2011-07-11 wenzelm tuned error message;
2011-07-05 wenzelm prefer space_explode/split_lines as in Isabelle/ML;
2011-07-04 wenzelm pervasive Basic_Library in Scala;
2011-06-29 wenzelm basic operations on lists and strings;
2011-06-18 wenzelm tuned -- Map.empty serves as partial function;
2010-12-01 wenzelm more abstract/uniform handling of time, preferring seconds as Double;
2010-11-10 wenzelm Sidekick block asset: show first line only;
2010-08-23 wenzelm module for simplified thread operations (Scala version);
2010-08-22 wenzelm tuned;
2010-08-10 wenzelm added Library.thread_actor -- thread as actor;
2010-08-07 wenzelm simple_dialog: allow scala.swing.Component as well;
2010-07-03 wenzelm more precise timing;
2010-05-21 wenzelm tuned zoom_box;
2010-05-21 wenzelm added Library.undefined (in Scala);
2010-05-20 wenzelm added somewhat generic zoom box;
2010-05-10 wenzelm simple dialogs: ensure Swing thread;
2010-05-06 wenzelm added separate;
2010-05-06 wenzelm slightly more general Library.chunks;
2010-01-11 wenzelm tuned message;
2010-01-11 wenzelm timeit message;
2009-12-31 wenzelm added simple dialogs;
2009-12-28 wenzelm moved Library.decode_permissive_utf8 to Isabelle_System;
2009-12-28 wenzelm higher-order treatment of temporary files;
less more (0) -60 tip