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);

relaxed theory dependencies

explicit theory for factorials

more lemmas

explore older history;

more explicit flag for historic builds;

proper result for rev == "";

tuned -- more open to experimentation;

tuned -- more visible;

updated to polyml-5.7 for testing (not yet ready for production use);

tuned;

notes on gnuplot;

tuned;

made SMT reconstruction more complete (bug report by Lukas Bulwahn)

tuning

stretch image according to history length;

actually plot extended profile history;

tuned output;

more output;

clarified;

tuned output;

more robust update of generated directory; tuned;

more output;

tuned;

obsolete;

enter deeper into history;

more Jenkins test results;

clarified order of output;

tuned;

tuned signature;

tuned message;

pick isabelle_version based on build_log database;

simplified default;

tuned (again);

allow column with defining expression;

tuned -- inlined single use;

tuned signature;

tuned signature;

tuned signature;

tuned signature;

clarified signature;

clarified image size;

proper type for iterated application;

make index formally within Isabelle/Scala;

clarified modules;

plot heap size;

more precise profiles;

suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);

more specific workaround (see also ed7b5cd3a7f2);

cpu time is somewhat redundant for threads=1; tuned output;

clarified description vs. file name;

tuned output;

clarified types;

more operations;

more uniform charts; tuned headings;

always show ml_timing -- in another chart;

removed threshold: redundant due to sorting;

tuned output;

parallel gnuplot invocation;

more HTML output;

clarified explicit Build_Status.Data operations; more HTML output;

more operations; tuned;

more uniform threads value, notably for Pure session;

tuned;

added option verbose for SQL source;

merged

tuned signature;

tuned signature;

present build status; tuned;

tuned;

obsolete;

clarified name;

tuned messages;

tuned;

clarified signature;

unused;

tuned;

tuned messages;

performance statistics from build log database;

tuned;

legacy version for Jenkins website;

tuned;

detect database entries;

tuned;

clarified signature;

tuned signature;

NEWS: totient 1 = 1 now

Merged

More material on totient function

merged

clarified universal view: include pull_date;

clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;

clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;

redundant;

Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht

A few more new lemmas

more permissive, e.g. for system operations as in 678e00851cfb;

tuned;

tuned;

prefer standard getOrElse;

tuned;

tuned;

more operations;

merged

clarified directory layout;

eliminated unused afp_pull_date table; tuned;

slightly more compact file;

produce build_log_snapshot, based on small prefix into pull_date history;

omit parentheses for the sake of SQLite;

more snapshot content;

more robust;

more direct insert_permissive statement, which avoids somewhat fragile nested transactions;

tuned signature;

simplified: standard toString is SQL.ident;

tuned;

tuned signature;

clarified signature;

tuned signature;

tuned signature;

tuned signature;

clarified modules;

clarified pull_date tables; support for SQLite snapshot;

views for full PostgreSQL database;

eliminated redundant type SQL.View; eliminated unused DROP operations;

tuned;

tuned signature;

tuned;

two new theorems

merged

detect old log files (early 2016);

explicit support for multiple regexes;

some derived data fields, to facilitate queries;

tuned signature;

Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.VldMQI

Simplification of some proofs. Also key lemmas using !! rather than ! in premises

more general pattern;

more timing;

proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";

suppress build_log_snapshot: too bulky;

more Jenkins logs for build_log database;

approximate repository identify job based on isabelle-nightly-slow; more Jenkins changeset patterns found in the wild;

tuned;

tuned signature;

clarified treatment of qualified names (amending 7ef438495a02);

create full view on build_log data, but avoid bombing sqlitebrowser;

support for views;

more operations; tuned;

slightly more compact file;

incremental download of Jenkins log files, which are also added to database;

more robust detection of Jenkins log;

detect Jenkins log files as well;

detect host name;

more parallelism;

tuned;

proper log_path check; report progress;

ensure canonical order: latest first;

tuned signature;

download Jenkins logs with inlined ml_statistics;

tuned;

clarified signature;

tuned signature;

read ml_statistics from session logs: .db or .gz files;

more informative log_filename;

retrieve more than just 100 builds;

clarified modules;

tuned signature;

tuned signature;

clarified database update: full ml_statistics on server, no ml_statistics on plain file;

parse ml_statistics only when required;

clarified database layout: bulky ml_statistics are stored/retrieved separately;

support for qualified names, which are not quoted (e.g. for SQLite); more operations;

clarified dummy Session_Entry;

clarified database update operations; more efficient log_file processing; tuned;

tuned message;

maintain build_log database;

exclude special log files;

tuned;

tuned;

ssh_close for proper termination after use of database;