| 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 |
| Thu, 02 Nov 2023 14:10:08 +0000 | paulson | fixed the simplification of Suc n - 1 | changeset | files |
| Thu, 02 Nov 2023 14:31:01 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 02 Nov 2023 13:16:06 +0100 | wenzelm | tuned message; | changeset | files |
| Thu, 02 Nov 2023 13:05:29 +0100 | wenzelm | just one pass is sufficient (see also cc8391b92747, 3e8a897042d9); | changeset | files |
| Thu, 02 Nov 2023 12:03:30 +0100 | wenzelm | more detailed progress for build_log_database, to see better what happens when; | changeset | files |
| Thu, 02 Nov 2023 11:57:40 +0100 | wenzelm | clarified signature: explicit Progress date; | changeset | files |
| Thu, 02 Nov 2023 10:29:24 +0100 | wenzelm | more uniform progress; | changeset | files |
| Thu, 02 Nov 2023 10:23:28 +0100 | wenzelm | more robust: support concurrent output; | changeset | files |