| Wed, 01 May 2019 14:38:42 +0100 | paulson | more tidying and de-applying | file | diff | annotate |
| Tue, 30 Apr 2019 15:49:15 +0100 | paulson | more de-applying | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 01 Nov 2016 00:44:24 +0100 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Mon, 29 Feb 2016 22:34:36 +0100 | wenzelm | clarified session; | file | diff | annotate | base |