Sledgehammer already has its own ways of reporting and recovering from crashes in external provers -- no need to additionally print scores of warnings (cf. 4b0daca2bf88)

don't export technical theorems for MaSh

repaired accessibility chains generated by MaSh exporter + tuned one function out

generate fact name in queries again + use ATP dependencies when possible

proper all_current, which regards parent status as well;

more build options;

added session HOL-Tutorial;

recovered chapter on Presenting Theories;

avoid clash of Misc/pairs.thy and Types/Pairs.thy on case-insensible file-system;

proper input;

recovered latex job;

adhoc reordering to prevent implicit side-effects of some theories in Types, Rules, Sets;

more build options;

simplified Tutorial sessions; moved original version of generated .tex sources;

proper arguments for old usedir;

more precise imports;

refined "document_dump_mode": "all", "tex+sty", "tex";

allow spaces in file names;

more files for session Pure;

discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;

tuned;

remove old output heaps, to ensure that result is valid wrt. check_stamps; tuned signature;

proper imports;

support session groups; tuned signature;

discontinued slightly odd session order, which did not quite work out;

tuned signature;

avoid clash of Advanced/simp.thy vs. Misc/simp.thy;

tuned signature;

actually check source vs. target stamps, based on information from log files;

tuned;