| Wed, 12 Jul 2000 14:47:55 +0200 | kleing | about.html -> logics.html | file | diff | annotate |
| Wed, 09 Feb 2000 14:12:14 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 17 Jan 2000 15:56:58 +0100 | wenzelm | www; | file | diff | annotate |
| Mon, 17 Jan 2000 15:49:32 +0100 | kleing | makes Isabelle main web pages | file | diff | annotate |