| Fri, 03 Nov 2023 10:30:51 +0100 | wenzelm | prefer Time.scale(), following Isabelle/ML; | changeset | files |
| Fri, 03 Nov 2023 10:21:21 +0100 | Fabian Huch | proper benchmark command; | changeset | files |
| Fri, 03 Nov 2023 10:13:41 +0100 | wenzelm | merged | changeset | files |
| Fri, 03 Nov 2023 10:12:34 +0100 | wenzelm | proper progress (see also 45d570945fe4); | changeset | files |
| Fri, 03 Nov 2023 10:03:05 +0100 | Fabian Huch | improved build messages; | changeset | files |
| Thu, 02 Nov 2023 21:35:04 +0100 | Lukas Stevens | clarified; | changeset | files |
| Thu, 02 Nov 2023 14:10:16 +0000 | paulson | merged | changeset | files |