src/Pure/Tools/build.scala
2014-02-14 wenzelm 2014-02-14 more integrity checks of theory names vs. full node names;
2014-01-06 wenzelm 2014-01-06 more informative error message;
2013-11-21 wenzelm 2013-11-21 actually expose errors of cumulative theory dependencies; more informative error messages;
2013-11-18 wenzelm 2013-11-18 clarified Thy_Load.node_name;
2013-09-16 wenzelm 2013-09-16 adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
2013-06-24 wenzelm 2013-06-24 improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; tuned signature;
2013-05-22 wenzelm 2013-05-22 tuned signature;
2013-05-22 wenzelm 2013-05-22 more informative Build.build_results; tuned;
2013-05-18 wenzelm 2013-05-18 discontinued odd workaround for scala-2.10.0-RC1;
2013-05-17 wenzelm 2013-05-17 timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);
2013-05-14 wenzelm 2013-05-14 tuned signature;
2013-05-14 wenzelm 2013-05-14 more robust load_timings: ignore JVM errors such as java.lang.OutOfMemoryError;
2013-05-14 wenzelm 2013-05-14 more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
2013-05-13 wenzelm 2013-05-13 limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);
2013-04-09 wenzelm 2013-04-09 tuned signature;
2013-03-27 wenzelm 2013-03-27 discontinued obsolete parallel_proofs_reuse_timing;
2013-03-13 wenzelm 2013-03-13 more accurate handling of global browser info at the very end (without races), subject to no_build and info.browser_info;
2013-03-12 wenzelm 2013-03-12 include session description in chapter index; prefer alphabetical order;
2013-03-12 wenzelm 2013-03-12 discontinued "isabelle usedir" option -r (reset session path); simplified internal session identification: chapter / name; clarified chapter index (of sessions) vs. session index (of theories); discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser); removed obsolete session parent_path;
2013-03-11 wenzelm 2013-03-11 support for 'chapter' specifications within session ROOT;
2013-02-28 wenzelm 2013-02-28 load timings in parallel for improved performance;
2013-02-27 wenzelm 2013-02-27 eliminated pointless re-ified errors;
2013-02-27 wenzelm 2013-02-27 discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
2013-02-27 wenzelm 2013-02-27 discontinued obsolete 'uses' within theory header;
2013-02-23 wenzelm 2013-02-23 clarified Progress.stopped: rising edge only; also cancel jobs that have not been considered yet;
2013-02-23 wenzelm 2013-02-23 more explicit console interrupt handling;
2013-02-22 wenzelm 2013-02-22 more robust load_timings: ignore XML.Decode errors as well;
2013-02-20 wenzelm 2013-02-20 option parallel_proofs_reuse_timing controls reuse of log information -- since it is not always beneficial for performance;
2013-02-20 wenzelm 2013-02-20 prefer outdegree in comparison again (cf. 88c96e836ed6) -- NB: big jobs might hide behind small ones in this naive queuing scheme;
2013-02-20 wenzelm 2013-02-20 prefer comparison of session timing, if this is known already; some odd workarounds to prevent crashes due to TreeSet.- sometimes not deleting the element;
2013-02-19 wenzelm 2013-02-19 help JVM to cope with large symbolic structures;
2013-02-19 wenzelm 2013-02-19 read logs from failed sessions as well; proper output base directory (which is two steps upwards);
2013-02-19 wenzelm 2013-02-19 recover timing information from old log files; use session timing for queue ordering; pass command timings to ML process (still unused);
2013-02-19 wenzelm 2013-02-19 support for build passing timings from Scala to ML;
2013-01-24 wenzelm 2013-01-24 more efficient inlined properties, especially relevant for voluminous tasks trace;
2013-01-18 wenzelm 2013-01-18 use inlined session name as title for charts; tuned signature;
2013-01-18 wenzelm 2013-01-18 more systematic task statistics;
2013-01-17 wenzelm 2013-01-17 tuned signature (again) -- keep Properties more generic;
2013-01-14 wenzelm 2013-01-14 Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X;
2013-01-12 wenzelm 2013-01-12 tuned signature;
2013-01-12 wenzelm 2013-01-12 more uniform theory progress in build -v and build_dialog;
2013-01-12 wenzelm 2013-01-12 immediate theory progress for build_dialog; more formal Bash_Result -- accumulate output as lines;
2013-01-08 wenzelm 2013-01-08 include timing properties in log; general Properties.parse operations; tuned signature;
2013-01-04 wenzelm 2013-01-04 prefer old graph browser in Isabelle/jEdit, which still produces better layout; clarified print mode "active_graph": allow to switch "browser" vs. "graphview" uniformly; tuned signature;
2013-01-04 wenzelm 2013-01-04 tuned message -- suppress inlined system information;
2013-01-03 wenzelm 2013-01-03 maintain session index on Scala side, for more determistic results; removed unused HTML operations;
2013-01-02 wenzelm 2013-01-02 moved files;