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;
wenzelm [Mon, 02 Jan 2023 12:29:08 +0100] rev 76860
clarified signature: uniform master_dir instead of separate field;
wenzelm [Mon, 02 Jan 2023 11:57:57 +0100] rev 76859
more standard master_dir;
wenzelm [Sun, 01 Jan 2023 22:54:40 +0100] rev 76858
tuned signature, following Url.append_path;