| Thu, 27 Mar 2008 16:24:10 +0100 | wenzelm | tuned appendix; | file | diff | annotate |
| Wed, 12 Dec 2007 09:00:07 +0100 | haftmann | adjusted | file | diff | annotate |
| Thu, 25 Oct 2007 13:51:58 +0200 | haftmann | continued | file | diff | annotate |
| Tue, 23 Oct 2007 10:53:15 +0200 | haftmann | continued | file | diff | annotate |
| Wed, 01 Aug 2007 16:55:37 +0200 | wenzelm | tuned config options: eliminated separate attribute "option"; | file | diff | annotate |
| Tue, 31 Jul 2007 19:38:33 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 31 Jul 2007 19:26:35 +0200 | wenzelm | tuned section "Style"; | file | diff | annotate |