| Thu, 18 Jan 2001 20:35:39 +0100 | wenzelm | generate index.html for pdf docs; | file | diff | annotate |
| Tue, 28 Nov 2000 01:48:07 +0100 | wenzelm | fixed hostname; | file | diff | annotate |
| Tue, 28 Nov 2000 01:23:45 +0100 | wenzelm | detect CVSROOT; | file | diff | annotate |
| Sun, 08 Oct 2000 19:58:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Sep 2000 19:10:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 Sep 2000 19:39:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Sep 2000 18:09:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Sep 2000 17:01:31 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 25 Sep 2000 12:04:10 +0200 | wenzelm | include "Isabelle" link; | file | diff | annotate |
| Mon, 18 Sep 2000 14:49:51 +0200 | wenzelm | include ANNOUNCE; | file | diff | annotate |
| Thu, 14 Sep 2000 18:37:44 +0200 | wenzelm | "Isabelle repository version"; | file | diff | annotate |
| Tue, 12 Sep 2000 17:01:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Sep 2000 20:23:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Sep 2000 17:41:34 +0200 | wenzelm | improved WWW page generation (still somewhat experimental); | file | diff | annotate |
| Wed, 06 Sep 2000 19:12:26 +0200 | wenzelm | tuned; | file | diff | annotate |