| Tue, 12 May 2020 17:42:29 +0200 | shift code from struct.Specify to appropriate locations | file | diff | annotate |
| Thu, 21 Nov 2019 12:05:56 +0100 | lucin: prep.to unitise handling of tactics | file | diff | annotate |
| Sun, 22 Sep 2019 16:52:14 +0200 | adopt new files of ProgLang in test/.. | file | diff | annotate |