more robust connection via proxy_host;

tuned OS names;

standard tests for macOS 10.15 Catalina;

proper comparison of Option values, following hint by IntelliJ;

disable lrzcloud1 -- superseded by lrzcloud2;

proper build options;

full AFP test on lrzcloud2;

obsolete;

clarified smlnj installations;

clarified directory location;

sequential build_release: it uses some of the test machines for pre-built images;

avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND;

clarified GHC and OCaml test setup;

less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;

prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;

updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC;

tuned output;

more official AFP.groups;
clarified bulky sessions;

discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;

eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
more robust components and classpath via Other_Isabelle;
updated macos_app to include full dmg template;
misc tuning and clarification;

--HG--
rename : Admin/MacOS/Info.plist-part1 => Admin/MacOS/Info.plist

use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);

prefer more powerful machine;

renovated macOS tests;

more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;

proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);

proper self_update for isolated host;

renovated macOS tests;

support remote_build_history with optional ghc_setup / ocaml_setup;

more robust: allow log to be a symlink;

evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;

remove trailing commas

more parallelism to cope with 8h30 CPU time;

full benchmarks, including all conditional theories;

support Store with options;

updated user name;

publish current log file, e.g. for easy error detection;

clarified signature;

build_history_base as remote build on lxbroy10: thus self_update has already happened once, and thus avoids conflicts with parallel builds on shared home directory;

proxy setup for lrzcloud1;

proper target directory;

consolidated main cronjob server on virtual machine together with build_log database;
eliminated special tricks for Gentoo;
import plain_identify logs, export all logs for backup;
run build_release, build_history_base in parallel to remote_build_history tasks;

--HG--
rename : Admin/cronjob/crontab.lxbroy10 => Admin/cronjob/crontab.server

proper remote_mac according to Admin/Release/CHECKLIST;

accomodate smaller build machine;

clarified signature;

self_update implies push_isabelle_home (see also 4c253e84ae62);

uniform setup_repository (pull/clone without update);
tuned signature;

clarified signature: facilitate interactive experimentation;

clarified tasks;

tuned signature;

more ssh options;

retain remote_builds_old for build_status;

lxbroy7 no longer exists;

more external tools for AFP test;

avoid println with its extra CR on Windows;

clarified description for mixed Mavericks / El Capitan system;

macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;

macbroy2 is inactive: system update;

avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;

removed pointless user_home: no measurable impact;

avoid download of components;

local user_home for improved performance, but only after given changeset for stability of measurement history;

superseded by plain_identify;

tuned output;

deactivated old tests;

tuned;

tuned output;

updated test version;

parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);

tuned;

clarified signature;

tuned: build hg_graph only once;
tuned signature;

more ambitious test;

proper integer option for Admin/build_history;

more thorough treatment of afp_version and afp_pull_date;

tuned options;

proper value;

more AFP tests;

tuned (graph.all_succs already contains origin);

support for AFP versions;
added AFP tests: non-slow, two partitions;

partition AFP sessions according to structure, which happens to cut it roughly into equal parts;

support for AFP in build_history and remote_build_history;

tuned whitespace;

support for AFP versions;

tuned signature;

tuned;

updated test version;

no fork of long-term test results: too complicated;

always start with fresh clone (with explicitly given rev): more robust on Windows;

more tests;

cover more history;

cover more history;

tuned;

prefer strict result (in contrast to 0f3b0a929c02);

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

proper index;

tuned;

more settings;

more settings;

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

separate keep auxiliary directory, to facilitate error diagnosis;

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

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

explore older history;

explicit history_base;

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;

actually plot extended profile history;

more robust update of generated directory;
tuned;

enter deeper into history;

tuned signature;

pick isabelle_version based on build_log database;

make index formally within Isabelle/Scala;

clarified modules;

more precise profiles;

clarified description vs. file name;

tuned signature;

present build status;
tuned;

performance statistics from build log database;

tuned;

detect database entries;

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

clarified directory layout;

produce build_log_snapshot, based on small prefix into pull_date history;

clarified modules;

views for full PostgreSQL database;

tuned signature;

tuned signature;

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;

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

slightly more compact file;

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

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

maintain build_log database;

clarified treatment of default port;

more tests;

removed obsolete test -- coincides with mainline version;

tuned signature;

updated Poly/ML repository test version (08-Dec-2016);

back to isabelle-dev repository;

more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;

clarified File.move: target directory like File.copy;

more logging, to see better when files written;

proper cleanup;

uniform order for options and args;

proper option for "build", not "build_history" (cf. 5ca4ac099e94);

back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;

proper remote repository source;

more informative error (see 6e9c22c494c5);

tuned signature -- more friendly for experimentation;

just one task to identify Isabelle + AFP repository snapshots and build release;
report AFP changeset id on website;

use other remote_mac: macbroy30 is down;

more informative error (stderr);

more tasks;
clarified default args;

remote_builds has PAR-SEQ semantics of old isatest-makedist;
tuned signature;

clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);

process results immediately;

clarified default args;
more ambitious tests;

less ambitious test;

test for Windows/Cygwin;

clarified modules;

avoid spamming log file;

shared_home is default for classic isatest home setup;
distinct ISABELLE_IDENTIFIER for all tasks;

improved platform coverage: macbroy30, macbroy31;
slightly improved performance on lxbroy10;

tuned;

tuned signature;

clarified setup_repository: more uniform pull vs. clone, without update;

proper setup of fresh repository;

tuned;

discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;

timeout as in former isatest-makeall;

clarified hg.id operation, with explicit tip as default;

added remote_build_history tasks: parallel on several remote hosts;
isabelle_identify: use self repos for robustness;
more logger context: options and ssh;
setup repository clones on demand;
clarified target repositories;

prefer Isabelle standard Path;

clarified logs;

publish directly on webspace;

cronjob: build release from repository snapshot;

clarified;

tuned;

tuned message;

tuned;

integrity test of build_history vs. build_history_base;
misc tuning and clarification;

clarified log_subdir vs. log_filename;
support for sequential and parallel task blocks (unnamed);

tuned;

allow to exclude named tasks;

support for separate sub-system options, independent of main Isabelle options;
tuned;

tuned;

tuned signature;

tuned;

clarified task logging via log service;

more explicit management of tasks;
separate logger thread with exclusive access to main.log;

simplified: no internal state for Mercurial;

tuned output;

tuned message -- more parsable;

tuned signature;

identify managed repository clones;

some timing and logging, similar to old isatest.log;

basic setup for Isabelle cronjob;