| 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); | changeset | files |
| 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); | changeset | files |
| Tue, 26 Mar 2024 21:25:35 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Tue, 26 Mar 2024 21:16:47 +0100 | wenzelm | merged; | changeset | files |