lib/Tools/build
Tue, 24 Jul 2012 10:39:03 +0200 timing is command line options, not system option;
Mon, 23 Jul 2012 15:59:14 +0200 added system build mode: produce output in ISABELLE_HOME;
Sun, 22 Jul 2012 23:31:57 +0200 parallel scheduling of jobs;
Wed, 18 Jul 2012 19:47:10 +0200 allow explicit specification of additional session directories;
Tue, 17 Jul 2012 15:56:19 +0200 basic setup for Isabelle build tool;