Fri, 31 Mar 2000 10:15:33 +0200 | kleing | included new stanford mirror, mirror links now point to source directly | 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 |