Fri, 12 Aug 2022 16:08:12 +0200 | wenzelm | clarified signature --- simplified types; | changeset | files |
Fri, 12 Aug 2022 16:01:52 +0200 | wenzelm | tuned signature; | changeset | files |
Fri, 12 Aug 2022 15:57:22 +0200 | wenzelm | proper toString for Content_XML, which is not covered by trait Content; | changeset | files |