| Sat, 23 Sep 2023 18:45:19 +0100 | paulson | A few new or simplified proofs | changeset | files |
| Fri, 22 Sep 2023 16:12:10 +0200 | wenzelm | tuned: more standard order; | changeset | files |
| Fri, 22 Sep 2023 16:11:18 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 22 Sep 2023 00:05:11 +0200 | wenzelm | proper fontenc for cartouches (amending d052d61da398); | changeset | files |