Mon, 11 Sep 2000 17:41:34 +0200 | wenzelm | improved WWW page generation (still somewhat experimental); | file | diff | annotate |
Wed, 10 May 2000 16:43:10 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 08 May 2000 21:00:27 +0200 | wenzelm | added INSTALL; | file | diff | annotate |
Fri, 31 Mar 2000 10:17:32 +0200 | kleing | tuned | file | diff | annotate |
Wed, 22 Dec 1999 16:12:38 +0100 | kleing | some tuning (incorporated David's suggestions) | file | diff | annotate |
Thu, 09 Dec 1999 11:34:32 +0100 | kleing | new webpage layout | file | diff | annotate |