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;