| Mon, 15 Apr 2024 20:35:56 +0200 | Fabian Huch | clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces); | file | diff | annotate |
| 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); | file | diff | annotate |