more operations;

more specific vacuum operation, which is also relevant to PostgreSQL;

tuned signature: removed redundant argument;

tuned signature;

proper build_uuid for Build_Process.Task: thus old entries are removed via prepare_database/clean_build;

more informative Build_Process.Snapshot;

more explicit snapshot of "_state" and "_database";

tuned;

removed redundant State.workers: directly maintained within the database, using with SQL update;

more thorough cleanup;

tuned signature;

tuned signature;

tuned signature;

more thorough synchronization of internal "_state" vs. external "_database";

more database content; clarified signature;

clarified modules;

clarified signature;

clarified modules;

tuned output;

tuned output;

Adjusted to new map update priorities

bring priority in line with ordinary function update notation

merged

use tree (simpler) instead of rbt (exercise)

enforce rebuild of Isabelle/ML;

more direct state update;

avoid too many synchronized_database;

tuned output;

synchronize progress messages with database;

more robust SQL query for mandatory arguments;

synchronize progress stop/stopped with database;

more database content;

tuned whitespace;

tuned signature;

tuned whitespace;

clarified signature: avoid confusion due to object-orientation;

clarified modules;

clarified signature: prefer explicit types;

more accurate Sessions.Info.session_prefs: cover relative changes wrt. statically declared options;

clarified signature: more explicit type Options.Spec, which incorporates all variants of Options.+;

tuned output;

clarified signature: more explicit types;

clarified signature: prefer static types;

clarified signature (again, see also 8c64e51d9dde and 268bf61631ec);

tuned signature;

more operations, thanks to Jsoup;

discontinued apache-commons in favour of jsoup, which is smaller and more useful;

more accurate shasum_meta_info;

tuned signature;

support "isabelle options -l -t TAGS";

NEWS;

clarified signature;

tuned;

avoid hard-wired stuff (see also 78f2475aa126);

clarified tags;

clarified session prefs (or "options" within the database);

tuned signature;

tuned comments;

unused (see 268bf61631ec);

clarified exported options;

clarified signature;

do not export connection details (password etc.);

support option tags;

use simplifier to classify the missing assumptions in Sledgehammer's abduction mechanism

don't try to falisfy goals with schematics

enforce rebuild of Isabelle/ML;

more robust transactions;

proper support for Option[Date] columns;

more robust transactions;

clarified signature;

enforce rebuild of Isabelle/ML;

proper test (amending 32f9e75c92e9);

updated to sqlite-jdbc-3.41.0.0;

proper shasum lines (amending 3070001c9d1f);

more robust transactions;

explicit locking for PostgreSQL --- neither available nor required for SQLite;

merged

assume total operation: ProcessHandle.current().info.startInstant appears to work on all platforms;

more database content, e.g. for monitoring;

tuned structure;

tuned signature;

more database content, e.g. for monitoring;

more explicit workers, e.g. for monitoring;

tuned;

tuned;

clarified worker state: always maintain database content via worker_uuid; clarified message;

clarified signature: prefer Build_Process.Context for parameters;

support for "isabelle build -j0": require external workers to make progress;

follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);

require the presence of free variables to do abduction in Sledgehammer

removed exercise solution

merged

new theory Tree_Rotations

proper tool name (amending cbb49fe8e5a2);

proper file-name (amending b975f5aaf6b8);

tuned headers;