| 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 |