| Sat, 27 Jan 2024 22:15:40 +0100 | wenzelm | routine build + test for linux_arm; | changeset | files |
| Sat, 27 Jan 2024 21:12:16 +0100 | wenzelm | disable test on "augsburg1": machine will be dismantled; | changeset | files |
| Fri, 26 Jan 2024 16:06:48 +0100 | Fabian Huch | add approximation factors in build schedule to estimate build times more conservatively; | changeset | files |
| Fri, 26 Jan 2024 11:19:30 +0000 | paulson | merged | changeset | files |
| Fri, 26 Jan 2024 11:19:22 +0000 | paulson | Type class patch suggested by Achim Brucker, plus tidied lemma | changeset | files |
| Thu, 25 Jan 2024 11:19:03 +0000 | haftmann | rearranged and reformulated abstract classes for bit structures and operations | changeset | files |