src/Pure/System/build.scala
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;