| Fri, 09 Mar 2018 17:03:10 +0100 | wenzelm | more general TTY loop; | file | diff | annotate |
| Thu, 02 Nov 2017 11:26:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Nov 2017 16:43:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 31 Oct 2017 18:45:33 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 31 Oct 2017 17:56:28 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 13 Apr 2017 12:27:57 +0200 | wenzelm | clarified directories; | file | diff | annotate | base |