Thu, 26 Jul 2012 12:59:09 +0200 |
remove old output heaps, to ensure that result is valid wrt. check_stamps;
|
file | diff | annotate |
Thu, 26 Jul 2012 12:27:47 +0200 |
support session groups;
|
file | diff | annotate |
Tue, 24 Jul 2012 13:22:06 +0200 |
tuned messages (cf. isabelle makeall);
|
file | diff | annotate |
Tue, 24 Jul 2012 12:28:20 +0200 |
clarified build -n (no build);
|
file | diff | annotate |
Tue, 24 Jul 2012 10:39:03 +0200 |
timing is command line options, not system option;
|
file | diff | annotate |
Mon, 23 Jul 2012 15:59:14 +0200 |
added system build mode: produce output in ISABELLE_HOME;
|
file | diff | annotate |
Sun, 22 Jul 2012 23:31:57 +0200 |
parallel scheduling of jobs;
|
file | diff | annotate |
Wed, 18 Jul 2012 19:47:10 +0200 |
allow explicit specification of additional session directories;
|
file | diff | annotate |
Tue, 17 Jul 2012 15:56:19 +0200 |
basic setup for Isabelle build tool;
|
file | diff | annotate |