Tue, 19 Feb 2013 17:02:52 +0100 |
read logs from failed sessions as well;
|
file | diff | annotate |
Tue, 19 Feb 2013 16:49:40 +0100 |
recover timing information from old log files;
|
file | diff | annotate |
Tue, 19 Feb 2013 13:57:13 +0100 |
support for build passing timings from Scala to ML;
|
file | diff | annotate |
Thu, 24 Jan 2013 17:18:13 +0100 |
more efficient inlined properties, especially relevant for voluminous tasks trace;
|
file | diff | annotate |
Fri, 18 Jan 2013 23:33:17 +0100 |
use inlined session name as title for charts;
|
file | diff | annotate |
Fri, 18 Jan 2013 17:51:50 +0100 |
more systematic task statistics;
|
file | diff | annotate |
Thu, 17 Jan 2013 15:49:50 +0100 |
tuned signature (again) -- keep Properties more generic;
|
file | diff | annotate |
Mon, 14 Jan 2013 22:24:57 +0100 |
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;
|
file | diff | annotate |
Sat, 12 Jan 2013 17:28:07 +0100 |
tuned signature;
|
file | diff | annotate |
Sat, 12 Jan 2013 16:43:38 +0100 |
more uniform theory progress in build -v and build_dialog;
|
file | diff | annotate |
Sat, 12 Jan 2013 15:00:48 +0100 |
immediate theory progress for build_dialog;
|
file | diff | annotate |
Tue, 08 Jan 2013 21:16:51 +0100 |
include timing properties in log;
|
file | diff | annotate |
Fri, 04 Jan 2013 12:33:25 +0100 |
prefer old graph browser in Isabelle/jEdit, which still produces better layout;
|
file | diff | annotate |
Fri, 04 Jan 2013 11:07:39 +0100 |
tuned message -- suppress inlined system information;
|
file | diff | annotate |
Thu, 03 Jan 2013 20:42:18 +0100 |
maintain session index on Scala side, for more determistic results;
|
file | diff | annotate |
Wed, 02 Jan 2013 17:58:53 +0100 |
moved files;
|
file | diff | annotate | base |