| Tue, 13 Feb 2001 16:31:18 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 25 Jan 2001 11:59:52 +0100 | kleing | added Martin Strecker, Christian Buttenberg, Alexandra Kirsch and project | file | diff | annotate |
| Mon, 13 Nov 2000 10:34:32 +0100 | kleing | added students | file | diff | annotate |
| Fri, 27 Oct 2000 15:11:49 +0200 | kleing | removed isabelle resources: are available from main pages | file | diff | annotate |
| Mon, 09 Oct 2000 20:05:49 +0200 | wenzelm | fixed hrefs: index.html; | file | diff | annotate |
| Mon, 18 Sep 2000 15:21:01 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 15 Mar 2000 12:05:03 +0100 | kleing | made links to homepages absolute, avoids trouble with relative links on the | file | diff | annotate |
| Thu, 09 Dec 1999 13:14:27 +0100 | kleing | prettyfied | file | diff | annotate |
| Thu, 09 Dec 1999 11:34:32 +0100 | kleing | new webpage layout | file | diff | annotate |