| Tue, 13 Feb 2001 16:31:18 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 16:11:53 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Sep 2000 23:00:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 21 Sep 2000 14:54:24 +0200 | kleing | added headline, "quick download", and mailing list archive | file | diff | annotate |
| Wed, 20 Sep 2000 21:20:41 +0200 | wenzelm | removed dead code; | file | diff | annotate |
| Mon, 18 Sep 2000 15:21:01 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 18 Sep 2000 14:35:54 +0200 | wenzelm | improved pages; | file | diff | annotate |
| Mon, 11 Sep 2000 17:41:34 +0200 | wenzelm | improved WWW page generation (still somewhat experimental); | file | diff | annotate |
| Wed, 12 Jul 2000 14:46:28 +0200 | kleing | about -> logics, better access to online libraries | file | diff | annotate |
| Wed, 09 Feb 2000 13:43:35 +0100 | kleing | clearer "Obtaining" section | 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 13:11:12 +0100 | kleing | full url to local (munich) page | file | diff | annotate |
| Thu, 09 Dec 1999 11:34:32 +0100 | kleing | new webpage layout | file | diff | annotate |