| Thu, 10 Oct 2019 16:51:47 +0200 | wenzelm | more compact XML representation; | file | diff | annotate |
| Tue, 05 Mar 2019 18:44:02 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Feb 2019 15:44:02 +0100 | wenzelm | support for XML name spaces; | file | diff | annotate |