| Tue, 06 Jun 2017 13:42:38 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 06 Jun 2017 13:13:25 +0200 | wenzelm | discontinued obsolete print mode; | changeset | files |
| Mon, 05 Jun 2017 23:55:58 +0200 | wenzelm | HTML preview via builtin HTTP server; | changeset | files |
| Mon, 05 Jun 2017 23:13:08 +0200 | wenzelm | permissive output of XML.Text, e.g. relevant for embedded <style>; | changeset | files |