src/Pure/Tools/build.scala
2016-02-29 wenzelm 2016-02-29 simplified -- always produce heap for RAW, Pure;
2016-02-29 wenzelm 2016-02-29 isabelle_process executable no longer supports writable heap images;
2016-02-29 wenzelm 2016-02-29 more careful cleanup;
2016-02-29 wenzelm 2016-02-29 save heap more directly;
2016-02-25 wenzelm 2016-02-25 proper option process_output_tail, more generous default;
2016-02-25 wenzelm 2016-02-25 tuned signature;
2016-02-25 wenzelm 2016-02-25 proper return code for timeout (amending f868f12f9419);
2016-02-25 wenzelm 2016-02-25 retain tail out_lines as printed, but not the whole log content;
2016-02-25 wenzelm 2016-02-25 explicit class Build_Results; cancelled sessions have rc = 1 (again);
2016-02-24 wenzelm 2016-02-24 more informative Build.build_results; tuned signature;
2016-02-24 wenzelm 2016-02-24 more informative Process_Result; tuned;
2016-02-24 wenzelm 2016-02-24 clarified modules;
2016-02-24 wenzelm 2016-02-24 tuned signature;
2016-02-14 wenzelm 2016-02-14 tuned signature;
2016-02-14 wenzelm 2016-02-14 tuned signature;
2016-02-13 wenzelm 2016-02-13 tuned signature -- more like ML version;
2015-11-08 wenzelm 2015-11-08 added option timeout_scale;
2015-11-03 wenzelm 2015-11-03 more direct task future implementation, with proper cancel operation; more uniform Future.thread;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-10-09 wenzelm 2015-10-09 output HTML text according to Isabelle/Scala Symbol.Interpretation;
2015-10-09 wenzelm 2015-10-09 tuned output;
2015-10-09 wenzelm 2015-10-09 more Present operations on Scala side;
2015-09-29 wenzelm 2015-09-29 clarified modules;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-08-20 wenzelm 2015-08-20 tuned signature, according to ML version;
2015-08-17 wenzelm 2015-08-17 no ML_debugger support in Pure -- too complicated;
2015-08-17 wenzelm 2015-08-17 more careful propagation of ML_debugger option to Pure;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-04-17 wenzelm 2015-04-17 allow to exclude session groups;
2015-04-15 wenzelm 2015-04-15 tuned signature, clarified modules;
2015-04-01 wenzelm 2015-04-01 clarified module; more parallel processing;
2015-04-01 wenzelm 2015-04-01 more reactive interrupts;
2015-04-01 wenzelm 2015-04-01 added isabelle build option -x, to exclude sessions;
2015-04-01 wenzelm 2015-04-01 added isabelle build option -k, for fast off-line checking of theory sources;
2015-03-25 wenzelm 2015-03-25 clarified position;
2015-03-17 wenzelm 2015-03-17 tight span for theory header, which is relevant for error positions (including semantic completion);
2015-03-16 wenzelm 2015-03-16 suppress semantic completion in errors of batch build -- avoid junk in log files;
2015-03-15 wenzelm 2015-03-15 clarified span position;
2015-03-14 wenzelm 2015-03-14 position parser as in ML;
2015-01-25 wenzelm 2015-01-25 provide session_graph.pdf via Isabelle/Scala;
2015-01-25 wenzelm 2015-01-25 support for session graph from Scala side;
2015-01-15 wenzelm 2015-01-15 more informative build_theories_result: cumulative Runtime.exn_message;
2015-01-14 wenzelm 2015-01-14 more type-safe handler interface; proper progress for Build.Handler;
2015-01-14 wenzelm 2015-01-14 clarified build_theories: proper protocol handler;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-11 wenzelm 2014-12-11 added Par_List in Scala, in accordance to ML version; system property "isabelle.threads" determines size of Scala thread pool, like system option "threads" for ML; avoid ".par" framework with its hard-wired thread pool, which also has problems with cancellation; tuned;
2014-12-03 wenzelm 2014-12-03 tuned signature;
2014-11-07 wenzelm 2014-11-07 plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; plain value Outer_Syntax within theory: parsing requires current theory context; clarified name of Keyword.is_literal according to its semantics; eliminated pointless type Keyword.T; simplified @{command_spec}; clarified bootstrap keywords and syntax: take it as basis instead of side-branch;
2014-11-06 wenzelm 2014-11-06 simplified keyword kinds; more explicit bootstrap syntax;
2014-11-05 wenzelm 2014-11-05 tuned signature;
2014-08-13 wenzelm 2014-08-13 tuned comments;
2014-05-07 wenzelm 2014-05-07 tuned signature;
2014-05-06 wenzelm 2014-05-06 tuned;
2014-05-05 wenzelm 2014-05-05 expose interrupts more like ML version, but not in managed bash processes of Build;
2014-05-05 wenzelm 2014-05-05 tuned signature;
2014-05-05 wenzelm 2014-05-05 tuned signature;
2014-05-02 wenzelm 2014-05-02 more robust interrupt handling for Scala_Console, which uses JVM Thread.interrupt instead of POSIX SIGINT;
2014-05-02 wenzelm 2014-05-02 prefer scala.Console with its support for thread-local redirection;
2014-05-02 wenzelm 2014-05-02 discontinued adhoc check (see also ea8343187225);