| Tue, 03 Jan 2017 17:33:08 +0100 | wenzelm | more language support; | file | diff | annotate |
| Tue, 03 Jan 2017 17:24:41 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Mon, 02 Jan 2017 14:37:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 01 Jan 2017 21:26:26 +0100 | wenzelm | clarified file name; | file | diff | annotate | base |