tuned output;

make double-sure that this is a transaction context, notably for LOCK TABLE;

more robust Java/Scala multithreading: transaction is always connection.synchronized;

clarified signature: proper Scala function for command-line tool;

tuned signature;

clarified signature: more operations;

more standard time unit;

clarified options;

tuned output;

global transaction_count;

tuned output;

tuned output;

prefer asynchronous operations: reduce time spent within synchronized_database("Build_Process.start_job");

clarified isabelle.transaction_log: support time_min (in ms);

more operations;

more informative trace;

support trace of transaction_lock via property "isabelle.transaction_log";

proper db.transaction_lock instead of adhoc clone (amending 2df0f3604a67);

tuned;

proper close() operation;

tuned comments;

more robust: avoid nested transactions (on disjoint tables);

potentially more robust: long-running operation only for build master, not workers;

less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;

clarified signature: more operations;

clarified signature: more operations;

clarified signature;

clarified signature;

clarified signature: follow Store.open_database;

tuned;