| Thu, 28 Mar 2024 12:56:20 +0100 | wenzelm | rebuild rsync-3.2.7 on current platforms, including native arm64-darwin; | changeset | files |
| Thu, 28 Mar 2024 11:45:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 28 Mar 2024 11:35:39 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 28 Mar 2024 11:29:25 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 28 Mar 2024 08:30:42 +0100 | desharna | merged | changeset | files |
| Wed, 27 Mar 2024 11:49:42 +0100 | desharna | added lemma wfp_on_image and author name to theory | changeset | files |
| Wed, 27 Mar 2024 22:56:03 +0100 | wenzelm | proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests; | changeset | files |
| Wed, 27 Mar 2024 22:12:37 +0100 | wenzelm | proper "isabelle go_setup" for Jenkins; | changeset | files |
| Wed, 27 Mar 2024 21:51:03 +0100 | wenzelm | dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24); | changeset | files |
| Wed, 27 Mar 2024 17:51:37 +0100 | wenzelm | tuned message; | changeset | files |
| Wed, 27 Mar 2024 17:39:46 +0100 | wenzelm | merged | changeset | files |
| Wed, 27 Mar 2024 17:39:28 +0100 | wenzelm | tuned NEWS; | changeset | files |