| Sat, 30 Mar 2024 01:08:25 +0100 | Fabian Huch | moved web_app module from AFP (e.g., for building web services for the distributed build); | changeset | files |
| Thu, 28 Mar 2024 15:08:58 +0100 | Fabian Huch | tuned; | changeset | files |
| Thu, 28 Mar 2024 16:40:57 +0100 | wenzelm | removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML); | changeset | files |