| Wed, 15 Jan 2020 19:49:13 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 15 Aug 2019 16:26:50 +0200 | wenzelm | clarified type Indexname, with plain value Int; | file | diff | annotate |
| Wed, 06 Jun 2018 14:18:31 +0200 | wenzelm | tuned header; | file | diff | annotate |
| Thu, 24 May 2018 21:21:26 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Thu, 24 May 2018 21:13:09 +0200 | wenzelm | more general cache, also for term substructures; | file | diff | annotate |