src/Pure/build
2013-05-20 wenzelm 2013-05-20 even later Options.reset_default -- still needed for printing errors of Session.finish (e.g. via Command_Line.tool0);
2013-05-17 wenzelm 2013-05-17 discontinued obsolete isabelle-process options -f and -u;
2012-08-03 wenzelm 2012-08-03 more informative process exit code;
2012-07-26 wenzelm 2012-07-26 remove old output heaps, to ensure that result is valid wrt. check_stamps; tuned signature;
2012-07-23 wenzelm 2012-07-23 added system build mode: produce output in ISABELLE_HOME; determine output location more explicitly;
2012-07-21 wenzelm 2012-07-21 tuned -- no dependency on exit function;
2012-07-20 wenzelm 2012-07-20 further imitation of "usedir" shell script; Pure/build observes build_images option, unlike traditional version; tuned signature;
2012-07-20 wenzelm 2012-07-20 simplified script to build Isabelle/ML;