src/Pure/library.scala
Tue, 24 Jul 2012 17:33:19 +0200 wenzelm more general notion of user ERROR (cf. 44f56fe01528);
Sun, 22 Jul 2012 23:31:57 +0200 wenzelm parallel scheduling of jobs;
Fri, 20 Jul 2012 12:00:08 +0200 wenzelm proper commas_quote;
Thu, 19 Jul 2012 11:54:19 +0200 wenzelm tuned width;
Thu, 24 May 2012 22:07:00 +0200 wenzelm less warning in scala-2.10.0-M3;
Fri, 04 May 2012 15:58:27 +0200 wenzelm some attempts to make critical errors fit on screen;
Sat, 17 Mar 2012 17:44:29 +0100 wenzelm misc tuning to accomodate scala-2.10.0-M2;
Mon, 27 Feb 2012 23:35:11 +0100 wenzelm more explicit development graph;
Fri, 24 Feb 2012 22:15:19 +0100 wenzelm tuned imports;
Thu, 12 Jan 2012 20:58:17 +0100 wenzelm added cat_lines convenience;
Fri, 16 Dec 2011 13:37:08 +0100 wenzelm prefer sorting from Scala library;
Tue, 29 Nov 2011 21:29:53 +0100 wenzelm separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
Mon, 28 Nov 2011 22:18:19 +0100 wenzelm explicit indication of modules for independent Scala library;
Mon, 28 Nov 2011 20:31:53 +0100 wenzelm tuned signature (according to ML version);
Sat, 22 Oct 2011 23:29:11 +0200 wenzelm class Time as abstract datatype;
Sun, 18 Sep 2011 00:05:22 +0200 wenzelm graph traversal in topological order;
Thu, 01 Sep 2011 14:10:52 +0200 wenzelm more flexible sorting;
Wed, 31 Aug 2011 17:36:10 +0200 wenzelm some support for theory status overview;
Mon, 29 Aug 2011 16:38:56 +0200 wenzelm some dialog for auto loading of required files (still inactive);
Fri, 12 Aug 2011 11:41:26 +0200 wenzelm clarified Exn.message;
Mon, 11 Jul 2011 23:15:27 +0200 wenzelm tuned error messages;
Mon, 11 Jul 2011 17:11:54 +0200 wenzelm tuned error message;
Tue, 05 Jul 2011 21:32:48 +0200 wenzelm prefer space_explode/split_lines as in Isabelle/ML;
Mon, 04 Jul 2011 16:51:45 +0200 wenzelm pervasive Basic_Library in Scala;
Wed, 29 Jun 2011 23:43:48 +0200 wenzelm basic operations on lists and strings;
Sat, 18 Jun 2011 17:32:13 +0200 wenzelm tuned -- Map.empty serves as partial function;
Wed, 01 Dec 2010 20:34:40 +0100 wenzelm more abstract/uniform handling of time, preferring seconds as Double;
Wed, 10 Nov 2010 20:43:22 +0100 wenzelm Sidekick block asset: show first line only;
Mon, 23 Aug 2010 16:07:18 +0200 wenzelm module for simplified thread operations (Scala version);
Sun, 22 Aug 2010 22:09:14 +0200 wenzelm tuned;
Tue, 10 Aug 2010 12:09:53 +0200 wenzelm added Library.thread_actor -- thread as actor;
Sat, 07 Aug 2010 23:02:19 +0200 wenzelm simple_dialog: allow scala.swing.Component as well;
Sat, 03 Jul 2010 20:36:30 +0200 wenzelm more precise timing;
Fri, 21 May 2010 23:19:27 +0200 wenzelm tuned zoom_box;
Fri, 21 May 2010 11:50:19 +0200 wenzelm added Library.undefined (in Scala);
Thu, 20 May 2010 23:19:28 +0200 wenzelm added somewhat generic zoom box;
Mon, 10 May 2010 23:46:49 +0200 wenzelm simple dialogs: ensure Swing thread;
Thu, 06 May 2010 23:32:29 +0200 wenzelm added separate;
Thu, 06 May 2010 21:02:34 +0200 wenzelm slightly more general Library.chunks;
Mon, 11 Jan 2010 22:01:01 +0100 wenzelm tuned message;
Mon, 11 Jan 2010 20:36:59 +0100 wenzelm timeit message;
Thu, 31 Dec 2009 23:47:09 +0100 wenzelm added simple dialogs;
Mon, 28 Dec 2009 18:40:13 +0100 wenzelm moved Library.decode_permissive_utf8 to Isabelle_System;
Mon, 28 Dec 2009 16:45:01 +0100 wenzelm higher-order treatment of temporary files;
Sun, 27 Dec 2009 23:09:16 +0100 wenzelm factored-out Library.decode_permissive_utf8;
Sun, 20 Dec 2009 15:44:07 +0100 wenzelm simiplified result of keyword parser (again);
Sat, 19 Dec 2009 16:02:26 +0100 wenzelm added basic library -- Scala version;
less more (0) tip