wenzelm [Mon, 02 Jan 2023 15:41:50 +0100] rev 76870
clarified signature: more explicit types;
wenzelm [Mon, 02 Jan 2023 15:30:57 +0100] rev 76869
tuned output;
wenzelm [Mon, 02 Jan 2023 15:28:33 +0100] rev 76868
clarified signature: more general operations;
wenzelm [Mon, 02 Jan 2023 15:18:13 +0100] rev 76867
clarified signature: more explicit types;
wenzelm [Mon, 02 Jan 2023 15:05:15 +0100] rev 76866
clarified signature: more explicit types (see also 90c552d28d36);
wenzelm [Mon, 02 Jan 2023 13:54:40 +0100] rev 76865
do write_session_sources early, to have information available in build job;
wenzelm [Mon, 02 Jan 2023 13:09:38 +0100] rev 76864
tuned signature, following Url.append_path;
wenzelm [Mon, 02 Jan 2023 12:56:31 +0100] rev 76863
do not bundle Isabelle/Naproche, while it keeps changing;
wenzelm [Mon, 02 Jan 2023 12:45:24 +0100] rev 76862
tuned signature;
wenzelm [Mon, 02 Jan 2023 12:34:20 +0100] rev 76861
tuned;