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;