| Thu, 14 Feb 2019 15:46:38 +0100 | wenzelm | support for RDF/XML representation; | changeset | files |
| Thu, 14 Feb 2019 15:45:34 +0100 | wenzelm | tuned according to Scala version; | changeset | files |
| Thu, 14 Feb 2019 15:44:02 +0100 | wenzelm | support for XML name spaces; | changeset | files |