| Fri, 28 Jun 2024 00:30:49 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 27 Jun 2024 22:09:09 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Tue, 28 May 2024 19:51:49 +0200 | Fabian Huch | proper html script tag: source code must not be escaped; | file | diff | annotate |
| Tue, 26 Mar 2024 21:44:18 +0100 | wenzelm | more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML); | file | diff | annotate |
| Tue, 26 Mar 2024 21:34:08 +0100 | wenzelm | more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51); | file | diff | annotate |
| Tue, 26 Mar 2024 16:01:54 +0100 | Fabian Huch | allow raw input in HTML (e.g., for web applications); | file | diff | annotate |
| Sat, 20 Jan 2024 13:24:26 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |