src/Pure/System/build.scala
2012-08-21 wenzelm 2012-08-21 clarified initialization of Thy_Load, Thy_Info, Session;
2012-08-20 wenzelm 2012-08-20 some support for inlining file content into outer syntax token language;
2012-08-20 wenzelm 2012-08-20 added keyword kind "thy_load" (with optional list of file extensions);
2012-08-20 wenzelm 2012-08-20 more strict syntax, according to manual;
2012-08-14 wenzelm 2012-08-14 some support for persistent user preferences;
2012-08-14 wenzelm 2012-08-14 check_errors for cumulative session content;
2012-08-14 wenzelm 2012-08-14 added jedit option -d;
2012-08-08 wenzelm 2012-08-08 refined isabelle mkroot; allow empty 'theories' to facilitate generated templates;
2012-08-08 wenzelm 2012-08-08 simplified session specifications: names are taken verbatim and current directory is default;
2012-08-08 wenzelm 2012-08-08 added build option -D: include session directory and select its sessions;
2012-08-08 wenzelm 2012-08-08 SOMEthing went utterly wrong in 5b51ccdc8623;
2012-08-07 wenzelm 2012-08-07 more structural parsing for minor modes; tuned signatures;
2012-08-07 wenzelm 2012-08-07 more token markers, based on actual outer syntax; prefer official Outer_Syntax.init with its completions;
2012-08-07 wenzelm 2012-08-07 prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07 wenzelm 2012-08-07 permissive outer syntax wrt. symbol recoding;
2012-08-07 wenzelm 2012-08-07 simplified Document.Node.Header -- internalized errors;
2012-08-07 wenzelm 2012-08-07 tuned signature;
2012-08-06 wenzelm 2012-08-06 pass Isabelle/Scala system options into ML process of Isar tty or build jobs;
2012-08-05 wenzelm 2012-08-05 re-introduced ROOTS catalog files (cf. 47330b712f8f) which help to organize AFP or make -d options persistent;
2012-08-05 wenzelm 2012-08-05 simplified Session_Tree; tuned messages;
2012-08-04 wenzelm 2012-08-04 queue ordering by descending outdegree and timeout;
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;