Thu, 26 Jul 2012 11:52:08 +0200 |
discontinued slightly odd session order, which did not quite work out;
|
file | diff | annotate |
Wed, 25 Jul 2012 11:59:22 +0200 |
added condition = ISABELLE_POLYML according to no-smlnj targets in IsaMakefile;
|
file | diff | annotate |
Tue, 24 Jul 2012 22:00:12 +0200 |
more files;
|
file | diff | annotate |
Tue, 24 Jul 2012 21:54:49 +0200 |
more build options;
|
file | diff | annotate |
Tue, 24 Jul 2012 21:36:53 +0200 |
tuned order;
|
file | diff | annotate |
Tue, 24 Jul 2012 21:26:28 +0200 |
more build options;
|
file | diff | annotate |
Tue, 24 Jul 2012 20:42:34 +0200 |
more explicit document = false to reduce warnings;
|
file | diff | annotate |
Tue, 24 Jul 2012 18:38:07 +0200 |
more session entries;
|
file | diff | annotate |
Tue, 24 Jul 2012 12:38:33 +0200 |
clarified "document" again, eliminated redundant "no_document";
|
file | diff | annotate |
Tue, 24 Jul 2012 10:11:49 +0200 |
clarified document options;
|
file | diff | annotate |
Sat, 21 Jul 2012 22:13:50 +0200 |
propagate defined options;
|
file | diff | annotate |
Thu, 19 Jul 2012 14:24:40 +0200 |
support Session.Queue with ordering and dependencies;
|
file | diff | annotate |
Wed, 18 Jul 2012 17:22:59 +0200 |
some HOL sessions;
|
file | diff | annotate |