| Sun, 10 Mar 2024 10:40:48 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 10 Mar 2024 10:37:28 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 09 Mar 2024 22:04:07 +0100 | wenzelm | disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet; | changeset | files |
| Sat, 09 Mar 2024 22:02:27 +0100 | wenzelm | revert part of 5969ead9f900 that does not quite work yet: only one accidental host is used; | changeset | files |