Tue, 03 Oct 2023 15:01:54 +0100 | paulson | New proofs also some slightly faster existing proofs | changeset | files |
Tue, 10 Oct 2023 13:15:32 +0200 | Fabian Huch | updated to hugo-0.119.0; | changeset | files |
Tue, 10 Oct 2023 12:57:01 +0200 | Fabian Huch | add component build tool for hugo from afp-devel; | changeset | files |