src/Pure/Tools/build.scala
2016-03-16 wenzelm 2016-03-16 tuned signature;
2016-03-16 wenzelm 2016-03-16 support for Poly/ML heap hierarchy, which saves a lot of disk space;
2016-03-16 wenzelm 2016-03-16 clarified signature;
2016-03-16 wenzelm 2016-03-16 tuned signature;
2016-03-15 wenzelm 2016-03-15 find heaps uniformly via Sessions.Store; tuned;
2016-03-15 wenzelm 2016-03-15 clarified modules;
2016-03-15 wenzelm 2016-03-15 clarified modules;
2016-03-15 wenzelm 2016-03-15 ML save_state under control of Isabelle/Scala;
2016-03-14 wenzelm 2016-03-14 record stamps of cumulative input heaps; tuned;
2016-03-13 wenzelm 2016-03-13 more uniform signature for various process invocations; env refers to full environment, not the update;
2016-03-12 wenzelm 2016-03-12 clarified cleanup;
2016-03-12 wenzelm 2016-03-12 clarified session build options: already provided by ML_Process; tuned signature;
2016-03-11 wenzelm 2016-03-11 tuned messages;
2016-03-11 wenzelm 2016-03-11 tuned message;
2016-03-10 wenzelm 2016-03-10 upgrade "isabelle build" to Isabelle/Scala;
2016-03-09 wenzelm 2016-03-09 isabelle.Build uses ML_Process directly; isabelle_process is for batch mode only; removed unused feeder (already part of "isabelle console");
2016-03-09 wenzelm 2016-03-09 tuned;
2016-03-09 wenzelm 2016-03-09 bash process with builtin timing;
2016-03-03 wenzelm 2016-03-03 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
2016-03-01 wenzelm 2016-03-01 ML debugger support in Pure (again, see 3565c9f407ec);
2016-03-01 wenzelm 2016-03-01 removed obsolete chmod: isabelle_process no longer supports writable heaps;
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;