| Sat, 13 Feb 2010 23:24:57 +0100 | wenzelm | modernized structures; | file | diff | annotate |
| Thu, 11 Feb 2010 23:00:22 +0100 | wenzelm | modernized translations; | file | diff | annotate |
| Fri, 18 Sep 2009 09:07:50 +0200 | haftmann | tuned const_name antiquotations | file | diff | annotate |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |