src/Pure/System/build.scala
2012-08-04 wenzelm 2012-08-04 clarified Session_Tree (with proper integrity check) vs. Queue (with provision for alternative ordering);
2012-08-04 wenzelm 2012-08-04 clarified Session_Entry vs. Session_Info with related parsing operations; more error positions;
2012-08-04 wenzelm 2012-08-04 simplified class Job; tuned message;
2012-08-04 wenzelm 2012-08-04 refined outer syntax;
2012-08-03 wenzelm 2012-08-03 timeout for session build job; tuned error messages;
2012-08-03 wenzelm 2012-08-03 static outer syntax based on session specifications;
2012-08-02 wenzelm 2012-08-02 discontinued unused etc/sessions catalog;
2012-08-02 wenzelm 2012-08-02 allow session specifications in arbitrary order;
2012-08-01 wenzelm 2012-08-01 store parent heap stamp as well -- needs to be propagated through the build hierarchy; misc tuning;
2012-07-31 wenzelm 2012-07-31 print full path;
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 tuned messages;
2012-07-28 wenzelm 2012-07-28 more on "Session ROOT specifications";
2012-07-27 wenzelm 2012-07-27 actually check return code;
2012-07-27 wenzelm 2012-07-27 delete other log file;
2012-07-27 wenzelm 2012-07-27 simplified Path vs. JVM File operations;
2012-07-27 wenzelm 2012-07-27 tuned;
2012-07-27 wenzelm 2012-07-27 tuned messages;
2012-07-27 wenzelm 2012-07-27 fewer options;
2012-07-27 wenzelm 2012-07-27 tuned signature;
2012-07-27 wenzelm 2012-07-27 more precise imitation of usedir wrt. Session.name (cf. 45137257399a);
2012-07-26 wenzelm 2012-07-26 further refinement of current/all_current status, which needs to be propagated through the hierarchy (see also Thy_Info.require_thys);
2012-07-26 wenzelm 2012-07-26 proper all_current, which regards parent status as well;
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-26 wenzelm 2012-07-26 discontinued slightly odd session order, which did not quite work out;
2012-07-25 wenzelm 2012-07-25 tuned signature;
2012-07-25 wenzelm 2012-07-25 actually check source vs. target stamps, based on information from log files;
2012-07-24 wenzelm 2012-07-24 read/write dependency information; tuned signature;
2012-07-24 wenzelm 2012-07-24 tuned error;
2012-07-24 wenzelm 2012-07-24 more explicit checks during parsing;
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 messages;
2012-07-24 wenzelm 2012-07-24 tuned message;
2012-07-24 wenzelm 2012-07-24 clarified no_build vs. verbose;
2012-07-24 wenzelm 2012-07-24 clarified build -n (no build);
2012-07-24 wenzelm 2012-07-24 more precise propagation of options: build, session, theories;
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 is command line options, not system option;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
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-22 wenzelm 2012-07-22 tuned;
2012-07-22 wenzelm 2012-07-22 maintain set of source digests, including relevant parts of session entry;
2012-07-22 wenzelm 2012-07-22 determine source dependencies, relatively to preloaded theories; tuned signature;
2012-07-21 wenzelm 2012-07-21 propagate defined options; misc tuning;
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;
2012-07-20 wenzelm 2012-07-20 more abstract file system operations in Scala, corresponding to ML version;
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
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 require explicit initialization of options; more explicit Position operations;
2012-07-20 wenzelm 2012-07-20 define build_options from command line;
2012-07-20 wenzelm 2012-07-20 minimal build_job;
2012-07-20 wenzelm 2012-07-20 restrict to required sessions;
2012-07-20 wenzelm 2012-07-20 tune;
2012-07-19 wenzelm 2012-07-19 allow catalog entries to be commented-out;
2012-07-19 wenzelm 2012-07-19 include COMPONENT/etc/sessions as catalog for more directories, for improved scalability with hundreds of entries (notably AFP); misc tuning and simplification;