src/Pure/library.scala
Tue, 14 May 2013 15:40:18 +0200 wenzelm more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
Tue, 14 May 2013 13:46:33 +0200 wenzelm more scalable Library.separate -- NB: JVM has tiny fixed-size stack;
Thu, 04 Apr 2013 17:58:47 +0200 wenzelm tuned signature -- concentrate GUI tools;
Sat, 12 Jan 2013 20:13:34 +0100 wenzelm tuned font size, notably for current HD displays;
Sat, 12 Jan 2013 17:28:07 +0100 wenzelm tuned signature;
Sat, 12 Jan 2013 15:00:48 +0100 wenzelm immediate theory progress for build_dialog;
Fri, 14 Dec 2012 21:50:21 +0100 wenzelm tuned error dialog;
Wed, 12 Dec 2012 14:54:48 +0100 wenzelm improved coupling of zoom_box and scale;
Fri, 07 Dec 2012 13:38:32 +0100 wenzelm explore theory_body_files via future, for improved performance;
Fri, 30 Nov 2012 21:30:24 +0100 wenzelm renamed dockable "Prover Session" to "Theories";
Thu, 20 Sep 2012 19:23:05 +0200 wenzelm more management of Invoke_Scala tasks;
Mon, 10 Sep 2012 15:20:50 +0200 wenzelm manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
Wed, 29 Aug 2012 12:55:41 +0200 wenzelm clarified separated_chunks vs. space_explode;
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;
less more (0) -50 -30 tip