more correct and complete output of control characters;

clarified modules;

do not expose ML interrupt in Scala;

tuned signature;

prefer strict result (in contrast to 0f3b0a929c02);

avoid conflict with generated settings of other_isabelle;

more progress information, for the sake of sporadic dropouts;

restricted perspective depending on the caret -- important for reactivity when editing big files;

parallel retrieval of PIDE markup;

clarified output: do not require "method", which is absent for ResponseMessage;

tuned;

clarified message logging;

more operations;

clarified signature;

obsolete special case

tuned message;

proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;

tuned;

proper index;

updated package;

support text overview colors via decorations;

tuned;

clarified modules;

clarified build.out progress;

more persistent build.out;

tuned;

less ambitious parallelism to make this work more robustly on Windows;

more settings;

support for ISABELLE_GHC on Windows, using the native version (mingw32);

permissive trim_line as in Scala, e.g. relevant for poly/TextIO.print output on Windows;

clarified signature;

more settings;

more robust treatment of generated strings;

proper File.platform_path for scala on Windows;

removed junk;

proper File.platform_path for poly on Windows;

back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;

suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);

more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);

merged

show failed sessions on main page;

clarified signature;

HTML rendering based on Isabelle/jEdit colors;

refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;

incremental build progress, to see state after unexpected failure (see also b3d6fb291f58);

more Progress variations;

more systematic separation of build_history directories (see also 80c1c1f53e72);

updated dependencies;

added one more simplification to help replay

adapt to Scala 2.12.x

updated to postgresql-42.1.1;

updated to sqlite-jdbc-3.18.0;

keep main build.log to help diagnosing spurious lack of log_path.xz;

clarified build_polyml_component;

avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;

updated;

more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;

tuned;

suppress ANSI control sequences in Scala console;

updated to scala-2.12.2;

updated to jdk-8u131;

updated to xz-java-1.6;

separate keep auxiliary directory, to facilitate error diagnosis;

Merged

more on sublists

tuned;

more charts;

uniform heap_scale; tuned;

more plots from ml_statistics;

simplified signature;

tuned signature;

more JFreeChart operations; tuned signature;

do not store bulky ml_statistics;

more output;

plot average heap size;

more systematic maximum and average; tuned;

clarified use of XML.Cache;

proper ml_statistics;

store processed content instead of somewhat bulky properties;

include full ML statistics: max heap size;

tuned;

eliminated unused operations;

tuned signature;

clarified universal table: include ml_statistics;

proper order for entry list cons;

proper check (amending ad35427dbe88);

less restrictive filter: omit empty charts, but show latest timing;

prefer explicit output file: potentially more robust than stdout;

proper init_settings, before inspecting ML_HOME etc;

support for explicit output file: potentially more robust than stdout;

proper init_settings for init_component (before generated ML_OPTIONS etc.); fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500";

more arg_min

NEWS;

history parameters like "Linux A", for more comparable results;

merged

tuned signature;

style for <dl> that is reminiscent of LaTeX;

more systematic HTML.init_dir with css;

prefer logical markup;

extra space only for some structual elements, but not <a>, <b>, <em> etc. (amending 8a0fe5469ba0);

tuned signature;

implicitly check for unknown files (not part of a Mercurial repository);

prefer explicit progress channel;

prefer explicit progress channel;

more explicit warning/error messages;

tuned signature;

tuned;

clarified interface;

more robust command invocation, without defaults from hgrc;

clarified: repository files before commit;

eliminated suspicious Unicode;

clarified notion of known files (before actual commit);

explore older history;

explicit history_base;

explore repository structure, with minimal assumptions about "hg log" output;

avoid hardlinks, for more robustness on Windows file-systems;

added function arg_min

merged

added lemma

obsolete (see also bdd17b18e103, f533820e7248);