| 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 |