| Wed, 21 Sep 2005 11:50:38 +0200 | wenzelm | updated for Isabelle2005; | file | diff | annotate |
| Thu, 09 Jun 2005 11:04:02 +0200 | haftmann | a very little cleanup | file | diff | annotate |
| Mon, 07 Mar 2005 19:17:07 +0100 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| Fri, 12 Nov 2004 15:49:25 +0100 | webertj | added DOCTYPE and Content-Type declarations to make this a valid HTML file | file | diff | annotate |
| Mon, 19 Apr 2004 12:12:01 +0200 | paulson | fixed address | file | diff | annotate |
| Mon, 19 Apr 2004 11:35:41 +0200 | paulson | fixed address | file | diff | annotate |
| Mon, 19 Apr 2004 00:00:05 +0200 | kleing | updated Tobias' address | file | diff | annotate |
| Sat, 17 Apr 2004 13:56:08 +0200 | kleing | do not mention MLWorks and poly 3.x any more, they are untested | file | diff | annotate |
| Tue, 16 Dec 2003 23:24:17 +0100 | kleing | fixed PG link | file | diff | annotate |
| Mon, 12 May 2003 13:49:08 +0200 | kleing | smlnj link update, x-symbol/PG update | file | diff | annotate |
| Mon, 13 May 2002 10:40:59 +0200 | wenzelm | updated X-Symbol URL; | file | diff | annotate |
| Mon, 04 Mar 2002 22:31:21 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 26 Sep 2001 23:00:41 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 16 Feb 2001 00:36:21 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 05 Feb 2001 14:40:21 +0100 | wenzelm | tuned; | file | diff | annotate |