| Sat, 10 Jan 2015 10:24:30 +0100 | haftmann | avoid writing into source | file | diff | annotate |
| Tue, 07 Oct 2014 22:35:11 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |