| Fri, 05 Jul 2024 21:59:43 +0100 | paulson | merged | changeset | files |
| Fri, 05 Jul 2024 21:58:40 +0100 | paulson | The changes needed to reduce the need to snoop on edits to theory files | changeset | files |
| Sat, 06 Jul 2024 11:18:31 +0200 | wenzelm | tuned messages: whitespace following usual Isabelle conventions; | changeset | files |
| Fri, 05 Jul 2024 16:34:17 +0200 | wenzelm | merged | changeset | files |
| Fri, 05 Jul 2024 16:28:05 +0200 | wenzelm | reactivate mini2 long after upgrade (see also a11c461a1a3a); | changeset | files |
| Fri, 05 Jul 2024 14:01:14 +0200 | wenzelm | NEWS; | changeset | files |
| Fri, 05 Jul 2024 13:46:13 +0200 | wenzelm | tuned signature: expose internal limits for testing or add-on implementations; | changeset | files |