src/Pure/Tools/build.scala
2014-12-11 ago added Par_List in Scala, in accordance to ML version;
2014-12-03 ago tuned signature;
2014-11-07 ago plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
2014-11-06 ago simplified keyword kinds;
2014-11-05 ago tuned signature;
2014-08-13 ago tuned comments;
2014-05-07 ago tuned signature;
2014-05-06 ago tuned;
2014-05-05 ago expose interrupts more like ML version, but not in managed bash processes of Build;
2014-05-05 ago tuned signature;
2014-05-05 ago tuned signature;
2014-05-02 ago more robust interrupt handling for Scala_Console, which uses JVM Thread.interrupt instead of POSIX SIGINT;
2014-05-02 ago prefer scala.Console with its support for thread-local redirection;
2014-05-02 ago discontinued adhoc check (see also ea8343187225);
2014-04-30 ago some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-29 ago more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-29 ago tuned signature -- accomodate operations of ROOT files;
2014-04-29 ago tuned -- prefer Isabelle/Scala operations;
2014-04-23 ago interruptible dependencies, which can take a few seconds;
2014-04-23 ago more abstract Exn.Interrupt and POSIX return code;
2014-04-11 ago explicit 'document_files' in session ROOT specifications;
2014-04-08 ago more precise token positions;
2014-04-05 ago more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;
2014-04-03 ago more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-03 ago tuned signature (see also 0850d43cb355);
2014-04-02 ago more explicit iterator terminology, in accordance to Scala 2.8 library;
2014-03-18 ago clarifed module name;
2014-02-20 ago tuned imports;
2014-02-14 ago more integrity checks of theory names vs. full node names;
2014-01-06 ago more informative error message;
2013-11-21 ago actually expose errors of cumulative theory dependencies;
2013-11-18 ago clarified Thy_Load.node_name;
2013-09-16 ago adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
2013-06-24 ago improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
2013-05-22 ago tuned signature;
2013-05-22 ago more informative Build.build_results;
2013-05-18 ago discontinued odd workaround for scala-2.10.0-RC1;
2013-05-17 ago timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);
2013-05-14 ago tuned signature;
2013-05-14 ago more robust load_timings: ignore JVM errors such as java.lang.OutOfMemoryError;
2013-05-14 ago more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
2013-05-13 ago limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);
2013-04-09 ago tuned signature;
2013-03-27 ago discontinued obsolete parallel_proofs_reuse_timing;
2013-03-13 ago more accurate handling of global browser info at the very end (without races), subject to no_build and info.browser_info;
2013-03-12 ago include session description in chapter index;
2013-03-12 ago discontinued "isabelle usedir" option -r (reset session path);
2013-03-11 ago support for 'chapter' specifications within session ROOT;
2013-02-28 ago load timings in parallel for improved performance;
2013-02-27 ago eliminated pointless re-ified errors;
2013-02-27 ago discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
2013-02-27 ago discontinued obsolete 'uses' within theory header;
2013-02-23 ago clarified Progress.stopped: rising edge only;
2013-02-23 ago more explicit console interrupt handling;
2013-02-22 ago more robust load_timings: ignore XML.Decode errors as well;
2013-02-20 ago option parallel_proofs_reuse_timing controls reuse of log information -- since it is not always beneficial for performance;
2013-02-20 ago prefer outdegree in comparison again (cf. 88c96e836ed6) -- NB: big jobs might hide behind small ones in this naive queuing scheme;
2013-02-20 ago prefer comparison of session timing, if this is known already;
2013-02-19 ago help JVM to cope with large symbolic structures;
2013-02-19 ago read logs from failed sessions as well;