wenzelm [Thu, 28 Mar 2024 16:38:12 +0100] rev 80056
clarified signature;
wenzelm [Thu, 28 Mar 2024 16:27:36 +0100] rev 80055
clarified modules: more official Sessions.notable_groups;
nipkow [Thu, 28 Mar 2024 16:14:28 +0100] rev 80054
tuned
paulson [Thu, 28 Mar 2024 13:33:10 +0000] rev 80053
merged
paulson <lp15@cam.ac.uk> [Thu, 28 Mar 2024 13:32:57 +0000] rev 80052
An assortment of new material, mostly due to Manuel
wenzelm [Thu, 28 Mar 2024 12:56:20 +0100] rev 80051
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
wenzelm [Thu, 28 Mar 2024 11:45:45 +0100] rev 80050
tuned signature;
wenzelm [Thu, 28 Mar 2024 11:35:39 +0100] rev 80049
tuned;
wenzelm [Thu, 28 Mar 2024 11:29:25 +0100] rev 80048
tuned signature;
desharna [Thu, 28 Mar 2024 08:30:42 +0100] rev 80047
merged
desharna [Wed, 27 Mar 2024 11:49:42 +0100] rev 80046
added lemma wfp_on_image and author name to theory
wenzelm [Wed, 27 Mar 2024 22:56:03 +0100] rev 80045
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
wenzelm [Wed, 27 Mar 2024 22:12:37 +0100] rev 80044
proper "isabelle go_setup" for Jenkins;
wenzelm [Wed, 27 Mar 2024 21:51:03 +0100] rev 80043
dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);