| 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 |