| Sat, 26 Oct 2024 16:07:03 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 25 Oct 2024 22:22:21 +0200 | wenzelm | merged | changeset | files |
| Fri, 25 Oct 2024 16:03:58 +0200 | wenzelm | more inner-syntax markup; | changeset | files |
| Fri, 25 Oct 2024 15:48:40 +0200 | wenzelm | obsolete (see a8502d492dde); | changeset | files |
| Fri, 25 Oct 2024 15:39:27 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Fri, 25 Oct 2024 13:43:12 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 25 Oct 2024 11:31:16 +0200 | wenzelm | more inner-syntax markup; | changeset | files |