more aggressive clean_directory(session_dir), while rm_tree is guarded by check_directory, i.e. it is presumably "owned" by Browser_Info.build_session();

clarified signature;

tuned signature;

clarified signature;

tuned whitespace;

more robust: ensure that chapter/session/theory do not contain special notation (like "/" or "..");

merged

NEWS about Sum_of_Powers

Removal of a duplicate theory, since that material and more is in the AFP: https://www.isa-afp.org/entries/Bernoulli.html

NEWS;

read full sessions_requirements, for more complete entity hyperlinks;

more accurate management of dependencies: change of build_uuid causes output of HTML, but already existing/current HTML is not produced again;

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;