Mon, 02 Jan 2023 13:54:40 +0100 | wenzelm | do write_session_sources early, to have information available in build job; | changeset | files |
Mon, 02 Jan 2023 13:09:38 +0100 | wenzelm | tuned signature, following Url.append_path; | changeset | files |
Mon, 02 Jan 2023 12:56:31 +0100 | wenzelm | do not bundle Isabelle/Naproche, while it keeps changing; | changeset | files |