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