lib/Tools/build
2012-07-22 wenzelm 2012-07-22 parallel scheduling of jobs; misc tuning;
2012-07-18 wenzelm 2012-07-18 allow explicit specification of additional session directories;
2012-07-17 wenzelm 2012-07-17 basic setup for Isabelle build tool;