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;

some documentation;

merged