wenzelm [Fri, 26 Aug 2022 21:48:51 +0200] rev 75989
produce root index based on sessions_structure.chapter_defs;
disregard lib/html/library_index_content.template (NB: still needed for Isabelle website);
wenzelm [Fri, 26 Aug 2022 21:35:48 +0200] rev 75988
provide chapter descriptions, based on lib/html/library_index_content.template;
wenzelm [Fri, 26 Aug 2022 21:34:09 +0200] rev 75987
more robust: proper system_name;
wenzelm [Fri, 26 Aug 2022 21:28:26 +0200] rev 75986
support 'chapter_definition' with description for presentation purposes;
wenzelm [Fri, 26 Aug 2022 21:25:35 +0200] rev 75985
tuned whitespace;
wenzelm [Fri, 26 Aug 2022 12:44:06 +0200] rev 75984
tuned signature;
wenzelm [Fri, 26 Aug 2022 12:38:00 +0200] rev 75983
removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file();
wenzelm [Fri, 26 Aug 2022 12:26:58 +0200] rev 75982
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();
wenzelm [Fri, 26 Aug 2022 12:10:29 +0200] rev 75981
clarified signature;
wenzelm [Fri, 26 Aug 2022 12:07:24 +0200] rev 75980
tuned signature;