Thu, 17 Jan 2013 15:49:50 +0100 |
wenzelm |
tuned signature (again) -- keep Properties more generic;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 17:28:07 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 16:43:38 +0100 |
wenzelm |
more uniform theory progress in build -v and build_dialog;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 15:00:48 +0100 |
wenzelm |
immediate theory progress for build_dialog;
|
file |
diff |
annotate
|
Tue, 08 Jan 2013 21:16:51 +0100 |
wenzelm |
include timing properties in log;
build_history_base
|
file |
diff |
annotate
|
Fri, 04 Jan 2013 12:33:25 +0100 |
wenzelm |
prefer old graph browser in Isabelle/jEdit, which still produces better layout;
|
file |
diff |
annotate
|
Fri, 04 Jan 2013 11:07:39 +0100 |
wenzelm |
tuned message -- suppress inlined system information;
|
file |
diff |
annotate
|
Thu, 03 Jan 2013 20:42:18 +0100 |
wenzelm |
maintain session index on Scala side, for more determistic results;
|
file |
diff |
annotate
|
Wed, 02 Jan 2013 17:58:53 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
| base
|