| 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 |
| Thu, 28 Mar 2024 16:38:12 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 28 Mar 2024 16:27:36 +0100 | wenzelm | clarified modules: more official Sessions.notable_groups; | changeset | files |
| Thu, 28 Mar 2024 16:14:28 +0100 | nipkow | tuned | changeset | files |
| Thu, 28 Mar 2024 13:33:10 +0000 | paulson | merged | changeset | files |