| 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 |
| Sun, 08 Jul 2007 19:51:52 +0200 | wenzelm | simplified Symtab; | file | diff | annotate |
| Fri, 30 Mar 2007 16:18:59 +0200 | haftmann | updated | file | diff | annotate |
| Fri, 23 Mar 2007 09:40:43 +0100 | haftmann | added some sketches about library functions | file | diff | annotate |
| Wed, 14 Feb 2007 10:07:17 +0100 | haftmann | continued | file | diff | annotate |