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

Restored Riemann_Mapping as an import of Complex_Analysis

proper file headers;

clarified modules;

merged

database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);

tuned signature: more operations;

clarified signature: more explicit types;

tuned signature;

removed somewhat pointless check;