| Tue, 16 May 2006 18:20:26 +0200 | paulson | replaced references to the robot by the mailing list page | file | diff | annotate |
| Wed, 03 May 2006 17:41:28 +0200 | haftmann | added world map | file | diff | annotate |
| Tue, 02 May 2006 16:19:53 +0200 | haftmann | added obfuscation for mails | file | diff | annotate |
| Fri, 17 Feb 2006 08:42:41 +0100 | haftmann | updated mailing list archive link | file | diff | annotate |
| Tue, 27 Sep 2005 15:30:37 +0200 | haftmann | website preparation for Isabelle2005 | file | diff | annotate |
| Mon, 26 Sep 2005 20:52:36 +0200 | wenzelm | updates for Isabelle2005; | file | diff | annotate |
| Wed, 21 Sep 2005 16:37:37 +0200 | haftmann | unify dist and main | file | diff | annotate |
| Thu, 28 Jul 2005 12:22:02 +0200 | paulson | now for Mailman-enabled mailing list | file | diff | annotate |
| Mon, 04 Jul 2005 15:15:55 +0200 | haftmann | unified main and dist | file | diff | annotate |
| Mon, 04 Jul 2005 14:42:06 +0200 | haftmann | started unifying main and dist | file | diff | annotate |