lib/Tools/build
2013-05-17 wenzelm 2013-05-17 added isabelle-process option -o;
2013-05-14 wenzelm 2013-05-14 more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
2012-12-05 wenzelm 2012-12-05 tuned;
2012-09-04 wenzelm 2012-09-04 added build option -R; more precise build_doc, using build -R -b;
2012-08-23 wenzelm 2012-08-23 added build option -l (list files);
2012-08-12 wenzelm 2012-08-12 always show some timing information, to reduce the need for explicit -v;
2012-08-08 wenzelm 2012-08-08 added build option -D: include session directory and select its sessions;
2012-07-30 wenzelm 2012-07-30 less verbosity;
2012-07-30 wenzelm 2012-07-30 added build option -c; tuned;
2012-07-30 wenzelm 2012-07-30 removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;
2012-07-29 wenzelm 2012-07-29 added build option -f;
2012-07-28 wenzelm 2012-07-28 some description of isabelle build;
2012-07-27 wenzelm 2012-07-27 tuned message;
2012-07-27 wenzelm 2012-07-27 tuned messages;
2012-07-27 wenzelm 2012-07-27 fewer options;
2012-07-26 wenzelm 2012-07-26 remove old output heaps, to ensure that result is valid wrt. check_stamps; tuned signature;
2012-07-26 wenzelm 2012-07-26 support session groups; tuned signature;
2012-07-24 wenzelm 2012-07-24 tuned messages (cf. isabelle makeall);
2012-07-24 wenzelm 2012-07-24 clarified build -n (no build);
2012-07-24 wenzelm 2012-07-24 timing is command line options, not system option;
2012-07-23 wenzelm 2012-07-23 added system build mode: produce output in ISABELLE_HOME; determine output location more explicitly;
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;