build local log_db, with store/restore via optional database server; tuned messages;

propagate property "isabelle.debug", notably for Java/Scala exception trace;

tuned;

proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0);

clarified signature; more robust slice_size;

clarified names;

more explicit build_cluster flag to guard open_build_database server;

tuned;

clarified signature;

simplified specification of type class semiring_bits

New material about transcendental functions, polynomials, et cetera, thanks to Manuel Eberl

merged

A small collection of new and useful facts, including the AM-GM inequality

remove selected occurrences of 'moura' tactic

added lemmas relpowp_left_unique and relpow_left_unique

added lemmas relpowp_right_unique and relpow_right_unique

use define_time_fun

time funs: +1 instead of 1+

minor performance tuning;

clarified signature: more comprehensive operations;

clarified signature: more explicit types;

clarified signature: emphasize physical db files;

tuned: afford untyped/unscoped update;

clarified signature: avoid ill-defined type java.net.URL;

unused;

tuned: afford untyped/unscoped update;

more robust default: Scala imposes explicit "threads" value on ML, both the Poly/ML RTS and Isabelle/ML;

clarified signature: more explicit types/scopes;

tuned names;

tuned;