clarified modules;

obsolete;

misc tuning: prefer Build_Process.Update operations;

misc tuning and clarification: prefer explicit type Build_Process.Update;

misc tuning and clarification;

tuned signature;

clarified data representation: more uniform treatment of State.Pending vs. State.Running;

tuned: drop pointless SQL.order_by (see also 5f706f7c624b);

upgrade pretty_maybe_quote following 2746dfc9ceae;

tuned;

eliminate odd aliases (see also 2746dfc9ceae);

tuned signature: prefer bottom-up construction;

tuned;

tuned signature;

clarified signature;

tuned;

more operations for Build_Log.Meta_Info: prefer explicit types;

more operations for Date and Time;

more accurate patterns --- reverting unused fc3ba0a1c82f;

remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables;

prefer explicit option "build_log_verbose";

tuned whitespace;

additional build_log column "session_start", with implicit upgrade of database schema;

more robust build_start for master and workers (via database);

more accurate progress.now(), notably for Database_Progress;

update NEWS;

activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;

merged

added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]

parallelize schedule optimization;