README.html
Mon, 19 Apr 2004 12:12:01 +0200 paulson fixed address
Mon, 19 Apr 2004 11:35:41 +0200 paulson fixed address
Mon, 19 Apr 2004 00:00:05 +0200 kleing updated Tobias' address
Sat, 17 Apr 2004 13:56:08 +0200 kleing do not mention MLWorks and poly 3.x any more, they are untested
Tue, 16 Dec 2003 23:24:17 +0100 kleing fixed PG link
Mon, 12 May 2003 13:49:08 +0200 kleing smlnj link update, x-symbol/PG update
Mon, 13 May 2002 10:40:59 +0200 wenzelm updated X-Symbol URL;
Mon, 04 Mar 2002 22:31:21 +0100 wenzelm tuned;
Wed, 26 Sep 2001 23:00:41 +0200 wenzelm updated;
Fri, 16 Feb 2001 00:36:21 +0100 wenzelm tuned;
Mon, 05 Feb 2001 14:40:21 +0100 wenzelm tuned;
Tue, 26 Sep 2000 17:02:51 +0200 wenzelm www.proofgeneral.org;
Mon, 11 Sep 2000 20:41:44 +0200 wenzelm tuned;
Sun, 23 Jul 2000 11:58:30 +0200 wenzelm tuned;
Fri, 05 May 2000 22:23:27 +0200 wenzelm updated;
Thu, 09 Mar 2000 10:35:07 +0100 paulson updated discussion of compilers
Tue, 21 Dec 1999 11:27:32 +0100 oheimb corrected, improved eMail addresses, user interface section
Thu, 28 Oct 1999 13:55:17 +0200 wenzelm tuned;
Mon, 06 Sep 1999 10:54:10 +0200 wenzelm tuned;
Thu, 22 Apr 1999 15:16:59 +0200 wenzelm tuned;
Thu, 14 Jan 1999 12:23:00 +0100 wenzelm tuned;
Mon, 11 Jan 1999 12:50:29 +0100 wenzelm tuned, updated;
Wed, 21 Oct 1998 14:05:49 +0200 wenzelm dropped support for SML/NJ 109.x;
Tue, 20 Oct 1998 11:16:23 +0200 paulson updated the MLWorks description
Sun, 18 Oct 1998 16:49:56 +0200 wenzelm updated, tuned;
Tue, 22 Sep 1998 17:08:30 +0200 wenzelm tuned Isamode;
Fri, 28 Aug 1998 13:35:43 +0200 wenzelm tuned;
Thu, 27 Aug 1998 20:56:26 +0200 wenzelm www.in.tum.de;
Tue, 28 Jul 1998 16:59:15 +0200 wenzelm tuned;
Fri, 29 May 1998 13:50:21 +0200 wenzelm tuned;
less more (0) -30 tip