| Wed, 29 May 2024 15:09:48 +0200 | Fabian Huch | add auto-reload for more interactive web apps; | file | diff | annotate |
| Wed, 29 May 2024 14:55:36 +0200 | Fabian Huch | clarified web app endpoints; | file | diff | annotate |
| 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 |