tuned signature: more general operations;

tuned: avoid premature File.read;

tuned signature: build_log db is specific to PostgreSQL;

maintain "uuid" column in session build database, to identity the original build process uniquely; implicit upgrade of PostgreSQL database, while SQLite is initially removed and created afresh;

tuned signature;

unused (amending 3d723062dc70);

more readable string literals;

avoid duplicate fact error on global_interpretation of residues

avoid looping simplification for z2

more formal meta data, within ".browser_info"; update_chapter for each session when it is finished;

tuned signature;

support for pretty-printing of JSON trees;

tuned signature; more operations;

tuned: slightly more generic operations;

remove duplicate parsing for alethe; fix skolemization;

Gauss numbers

disable laramac01 for now: system update pending;

clarified synchronized operations: approximate file-system transactions;

more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations; tuned signature;

NEWS;

tuned;

tuned comments, following "isabelle build" usage;

clarified names;

clarified modules;

proper theory_dir for links to other session;

tuned sources and comments;

clarified signature;

tuned sources and comments;

clarified names: Browser_Info.Config vs. Browser_Info.Context;

clarified modules;