produce root index based on sessions_structure.chapter_defs; disregard lib/html/library_index_content.template (NB: still needed for Isabelle website);

provide chapter descriptions, based on lib/html/library_index_content.template;

more robust: proper system_name;

support 'chapter_definition' with description for presentation purposes;

tuned whitespace;

tuned signature;

removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file();

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;

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;

clarified signature: terminology of "base" (here) vs. "root" (there);

tuned;

proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;

streamlined

simplified computation algorithm construction

merged;

more robust GUI initialization (amending 29441f2bfe81);

clarified signature: just one common operation;

clarified paths and links; proper node_context for aux. files: to get links within them;

more concise output of files: just one round;

more robust;

proper node_dir within presentation_dir, not source file directory;

clarified modules;

clarified names;

more thorough checks of browser_info file conflicts;

tuned;

prefer strict operations with explicit errors (instead of missing HTML output);

more thorough check, without path name artifacts (e.g. "./README");

tuned signature; tuned messages;

clarified signature: Sessions.Base_Info follows Sessions.Base;

clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check);

tuned;

tuned whitespace;

evade clash with index.html (allow "Index.thy" even on case-insensitive file-systems);

discontinued special support for README.html (which was hardly ever used in the past 2 decades);

clarified directory layout (again): mimic original directory layout, notably ISABELLE_HOME;

more robust treatment of Document.Node.Name, following stored data;

more robust;

clarified directory layout: files are relative to enclosing theory;

tuned signature: avoid duplication;

more robust: theories could have been suppressed via option "condition";

tuned signature;

tuned messages (again, see d50c2129e73a): presentation setup could fail initially for take some time;

clarified modules;

clarified signature: support for adhoc file types;

clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory; distinguish Nodes.Theory.static_session vs. dynamic_session: refer to exports from dynamic_session, corresponding to strictly to build_graph; more robust treatment of source files and links to generated files; retrieve entities by their file position, within its corresponding session/theory hierarchy;

export entity file position as well, e.g. relevant for HTML presentation with aux. files;

proper permissive = true (amending 475fedc02737)

tuned signature;

clarified signature;

clarified signature;

more robust directory structure: always relative to session_dir; tuned messages;

discontinued slightly odd integrity check (from af2d0e07493b): requires a different approach;

clarified signature;

misc tuning and clarification;

unused;

tuned signature;