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 |
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 |
Sun, 13 May 2018 16:37:36 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 11 Mar 2018 21:08:47 +0100 | wenzelm | tuned; | file | diff | annotate |