src/Pure/Tools/build.scala
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 modernized date format;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-07 wenzelm 2016-10-07 clarified signature;
2016-10-07 wenzelm 2016-10-07 more uniform treatment of settings;
2016-10-07 wenzelm 2016-10-07 clarified modules; CI_Profile: show all settings;
2016-10-07 wenzelm 2016-10-07 tuned;
2016-10-06 wenzelm 2016-10-06 misc tuning and clarification;
2016-10-04 wenzelm 2016-10-04 clarified modules;
2016-10-04 wenzelm 2016-10-04 check session name;
2016-10-04 wenzelm 2016-10-04 tuned signature;
2016-10-02 wenzelm 2016-10-02 tuned whitespace;
2016-09-14 wenzelm 2016-09-14 tuned;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-08-13 wenzelm 2016-08-13 more uniform output;
2016-06-03 wenzelm 2016-06-03 more flexible build_selection;
2016-05-12 Lars Hupel 2016-05-12 expose Sessions.Info in Build.Results
2016-04-10 wenzelm 2016-04-10 tuned;
2016-04-10 wenzelm 2016-04-10 more standard session build process, including browser_info; clarified final setup of global ML environment;
2016-04-07 wenzelm 2016-04-07 more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use'; avoid slowdown of Resources.loaded_files due to command name 'use' in Pure base syntax;
2016-04-06 wenzelm 2016-04-06 clarified ML bootstrap;
2016-04-05 wenzelm 2016-04-05 read Pure file dependencies directly from ROOT.ML;
2016-04-03 wenzelm 2016-04-03 renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-04-02 wenzelm 2016-04-02 structure PolyML is sealed after bootstrap: all ML system access is managed by Isabelle;
2016-03-26 wenzelm 2016-03-26 clarified use of options;
2016-03-24 wenzelm 2016-03-24 proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
2016-03-16 wenzelm 2016-03-16 eliminated without magic name;
2016-03-16 wenzelm 2016-03-16 always build with full results; always print unfinished sessions;
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;