src/Pure/System/build.ML
2012-07-26 wenzelm 2012-07-26 more build options;
2012-07-26 wenzelm 2012-07-26 refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-26 wenzelm 2012-07-26 discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
2012-07-26 wenzelm 2012-07-26 tuned;
2012-07-26 wenzelm 2012-07-26 remove old output heaps, to ensure that result is valid wrt. check_stamps; tuned signature;
2012-07-25 wenzelm 2012-07-25 clarified no_document situation;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 pass parent_base_name, which is required for Session.init sanity check; tuned message;
2012-07-24 wenzelm 2012-07-24 tuned message;
2012-07-24 wenzelm 2012-07-24 actually negate "document" (cf. 7483aa690b4f);
2012-07-24 wenzelm 2012-07-24 clarified "document" again, eliminated redundant "no_document";
2012-07-24 wenzelm 2012-07-24 added "document_dump_only" (cf. negated usedir -C);
2012-07-24 wenzelm 2012-07-24 further imitation of ISABELLE_USEDIR_OPTIONS via options;
2012-07-24 wenzelm 2012-07-24 observe "condition";
2012-07-24 wenzelm 2012-07-24 observe "quick_and_dirty";
2012-07-24 wenzelm 2012-07-24 added "browser_info_remote" (cf. usedir -P);
2012-07-24 wenzelm 2012-07-24 clarified "this_name" vs. former "reset" feature -- imitate the latter by loading other session sources directly;
2012-07-24 wenzelm 2012-07-24 timing for whole session;
2012-07-24 wenzelm 2012-07-24 tuned options;
2012-07-24 wenzelm 2012-07-24 timing is command line options, not system option;
2012-07-24 wenzelm 2012-07-24 clarified document options;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
2012-07-21 wenzelm 2012-07-21 save image for inner nodes only; misc tuning and simplification;
2012-07-21 wenzelm 2012-07-21 some actual build function on ML side; further imitation of "usedir" shell script;