Admin/page/dist-content/index.content
Fri, 08 Mar 2002 11:43:01 +0100 wenzelm removed Stanford mirror;
Tue, 13 Feb 2001 16:31:18 +0100 wenzelm tuned;
Mon, 18 Sep 2000 15:34:07 +0200 wenzelm tuned;
Mon, 18 Sep 2000 14:35:54 +0200 wenzelm improved pages;
Sun, 17 Sep 2000 22:15:08 +0200 wenzelm tuned;
Mon, 11 Sep 2000 17:41:34 +0200 wenzelm improved WWW page generation (still somewhat experimental);
Fri, 31 Mar 2000 10:15:33 +0200 kleing included new stanford mirror, mirror links now point to source directly
Wed, 22 Dec 1999 16:12:38 +0100 kleing some tuning (incorporated David's suggestions)
Thu, 09 Dec 1999 11:34:32 +0100 kleing new webpage layout
less more (0) tip