| Mon, 11 Mar 2019 20:47:04 +0100 | wenzelm | support for document meta data in PIDE and RDF; | file | diff | annotate |
| Wed, 06 Mar 2019 13:17:17 +0100 | wenzelm | afford redundant whitespace for improved readability; | file | diff | annotate |
| Tue, 05 Mar 2019 19:33:40 +0100 | wenzelm | recover original order; | file | diff | annotate |
| Tue, 05 Mar 2019 18:44:02 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Mar 2019 11:52:20 +0100 | wenzelm | afford redundant whitespace for improved readability; | file | diff | annotate |
| Sun, 03 Mar 2019 19:30:17 +0100 | wenzelm | concrete predicates from "Dublin Core"; | file | diff | annotate |
| Thu, 14 Feb 2019 22:19:06 +0100 | wenzelm | more operations; | file | diff | annotate |
| Thu, 14 Feb 2019 16:25:12 +0100 | wenzelm | more operations; | file | diff | annotate |
| Thu, 14 Feb 2019 15:46:38 +0100 | wenzelm | support for RDF/XML representation; | file | diff | annotate |