src/Pure/Tools/build.scala
Tue, 19 Feb 2013 20:19:21 +0100 wenzelm help JVM to cope with large symbolic structures;
Tue, 19 Feb 2013 17:02:52 +0100 wenzelm read logs from failed sessions as well;
Tue, 19 Feb 2013 16:49:40 +0100 wenzelm recover timing information from old log files;
Tue, 19 Feb 2013 13:57:13 +0100 wenzelm support for build passing timings from Scala to ML;
Thu, 24 Jan 2013 17:18:13 +0100 wenzelm more efficient inlined properties, especially relevant for voluminous tasks trace;
Fri, 18 Jan 2013 23:33:17 +0100 wenzelm use inlined session name as title for charts;
Fri, 18 Jan 2013 17:51:50 +0100 wenzelm more systematic task statistics;
Thu, 17 Jan 2013 15:49:50 +0100 wenzelm tuned signature (again) -- keep Properties more generic;
Mon, 14 Jan 2013 22:24:57 +0100 wenzelm Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X;
Sat, 12 Jan 2013 17:28:07 +0100 wenzelm tuned signature;
Sat, 12 Jan 2013 16:43:38 +0100 wenzelm more uniform theory progress in build -v and build_dialog;
Sat, 12 Jan 2013 15:00:48 +0100 wenzelm immediate theory progress for build_dialog;
Tue, 08 Jan 2013 21:16:51 +0100 wenzelm include timing properties in log; build_history_base
Fri, 04 Jan 2013 12:33:25 +0100 wenzelm prefer old graph browser in Isabelle/jEdit, which still produces better layout;
Fri, 04 Jan 2013 11:07:39 +0100 wenzelm tuned message -- suppress inlined system information;
Thu, 03 Jan 2013 20:42:18 +0100 wenzelm maintain session index on Scala side, for more determistic results;
Wed, 02 Jan 2013 17:58:53 +0100 wenzelm moved files;
less more (0) tip