| Mon, 18 Sep 2000 14:49:58 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 18 Sep 2000 14:35:54 +0200 | wenzelm | improved pages; | file | diff | annotate |
| Sun, 17 Sep 2000 22:15:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Sep 2000 17:01:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Sep 2000 17:41:34 +0200 | wenzelm | improved WWW page generation (still somewhat experimental); | file | diff | annotate |
| Thu, 09 Dec 1999 11:34:32 +0100 | kleing | new webpage layout | file | diff | annotate |