only print schedule if relevant;

remove laziness: no need, and errors during initialization loop with close();

more general definition of meromorphicity; Weierstraß factorisation theorem

always provide build_database_server option in benchmark command;

always check if node is defined, e.g. for exists_next operation wit empty schedule;

fixed typo

disable taskset for now: performance impact is negative;

allow specifying initial schedule;

clarify use of num_threads vs. max_cpus;

clarified host: pre-load max threads;

clarified: more operations;

added alias wfp for wfP

merged

added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset

start scheduled jobs earlier, if possible;

tuned proofs

added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf, wf_on_iff_ex_minimal, and wfp_on_iff_ex_minimal

merged

added definitions wf_on and wfp_on as restricted versions of wf and wfP respectively

read/write proper schedule date (amending 9da3019e1ee5);

allow read/write of schedule in build (read via option, write from tool);

file representation for schedule (e.g., for generating from external tool);

proper median/mean time;

remove schedule outdated limit: delay is sufficient;

tuned whitespace;

tie-breaking in schedule optimization to pick best schedule even when run-time is dominated by large task (e.g., session with long timeout but no data yet);

tuned;

remove old build before generating schedule;

unused;

merged

added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image, reflp_on_image, symp_on_image, totalp_on_image, and transp_on_image

clarified names;

sketch & explore: TODO comments are addressed in parent commits

sketch & explore: reduce unnecessary type constraints

sketch & explore: replace functionality of `sketch` by more useful `nxsketch` (and remove `nxsketch`)

sketch & explore: use Active.sendback_markup_command to preserve indentation of generated proof text

change benchmark session to FOLP-ex (faster and less mean squared error than ZF-Constructible);

unused;

tuned;

proper IPC for scheduled builds, following 7ae25372ab04;

proper check (amending 9aef1d1535ff);

more synced options (following 6e5397fcc41b);

avoid [no_atp] declations shadowing propositions from sledgehammer

track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;

use inherited build_start, following d9fc2cc37694;

update NEWS + CONTRIBUTORS for release;

Tuned proofs

merged

revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers; retain notion of next_jobs.limit and finished() from 0e79fa88cab6; clarified Job vs. optional Build_Job;

database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;

tuned;

tuned whitespace;

proper system option, instead of hardwired default;

tuned signature: fewer warnings in IntelliJ IDEA;

tuned comments;

clarified build schedule host: proper module;

remove unused dummy;

tuned;

use timeout as default build time predictor if no data is available;

merged