| Mon, 02 Jan 2023 15:18:13 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Mon, 02 Jan 2023 15:05:15 +0100 | wenzelm | clarified signature: more explicit types (see also 90c552d28d36); | changeset | files |
| 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 |
| Mon, 02 Jan 2023 12:45:24 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 02 Jan 2023 12:34:20 +0100 | wenzelm | tuned; | changeset | files |