src/Pure/System/build.scala
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;
2012-07-19 wenzelm 2012-07-19 less redundant data structures;
2012-07-19 wenzelm 2012-07-19 clarified topological ordering: preserve order of adjacency via reverse fold;
2012-07-19 wenzelm 2012-07-19 support Session.Queue with ordering and dependencies;
2012-07-19 wenzelm 2012-07-19 more explicit treatment of initial Pure sessions;
2012-07-19 wenzelm 2012-07-19 more general support for Isabelle/Scala command line tools;
2012-07-19 wenzelm 2012-07-19 prefer general Properties.Value.Boolean;
2012-07-18 wenzelm 2012-07-18 tuned source structure;
2012-07-18 wenzelm 2012-07-18 allow explicit specification of additional session directories;
2012-07-18 wenzelm 2012-07-18 more errors;
2012-07-18 wenzelm 2012-07-18 cumulate semantic Session_Info, based on syntactic Session_Entry; tuned errors;
2012-07-18 wenzelm 2012-07-18 more tight treatment of reset_name;
2012-07-18 wenzelm 2012-07-18 more informative errors;
2012-07-18 wenzelm 2012-07-18 added parser for Session_Info;
2012-07-17 wenzelm 2012-07-17 basic support for session ROOT files, with examples for FOL and ZF;
2012-07-17 wenzelm 2012-07-17 basic setup for Isabelle build tool;