| 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 |
| Thu, 14 Feb 2019 14:44:41 +0100 | wenzelm | uniform XML header; | file | diff | annotate |
| Thu, 24 May 2018 21:13:09 +0200 | wenzelm | more general cache, also for term substructures; | file | diff | annotate |