| Fri, 26 Aug 2022 21:34:09 +0200 | wenzelm | more robust: proper system_name; | changeset | files |
| Fri, 26 Aug 2022 21:28:26 +0200 | wenzelm | support 'chapter_definition' with description for presentation purposes; | changeset | files |
| Fri, 26 Aug 2022 21:25:35 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 26 Aug 2022 12:44:06 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 26 Aug 2022 12:38:00 +0200 | wenzelm | removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file(); | changeset | files |
| Fri, 26 Aug 2022 12:26:58 +0200 | wenzelm | 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(); | changeset | files |
| Fri, 26 Aug 2022 12:10:29 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 26 Aug 2022 12:07:24 +0200 | wenzelm | tuned signature; | changeset | files |