| 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 |
| Tue, 26 Sep 2000 17:02:51 +0200 | wenzelm | www.proofgeneral.org; | file | diff | annotate |
| Mon, 11 Sep 2000 20:41:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 23 Jul 2000 11:58:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 05 May 2000 22:23:27 +0200 | wenzelm | updated; | file | diff | annotate |
| Thu, 09 Mar 2000 10:35:07 +0100 | paulson | updated discussion of compilers | file | diff | annotate |
| Tue, 21 Dec 1999 11:27:32 +0100 | oheimb | corrected, improved eMail addresses, user interface section | file | diff | annotate |
| Thu, 28 Oct 1999 13:55:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 06 Sep 1999 10:54:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 22 Apr 1999 15:16:59 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Jan 1999 12:23:00 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Jan 1999 12:50:29 +0100 | wenzelm | tuned, updated; | file | diff | annotate |
| Wed, 21 Oct 1998 14:05:49 +0200 | wenzelm | dropped support for SML/NJ 109.x; | file | diff | annotate |
| Tue, 20 Oct 1998 11:16:23 +0200 | paulson | updated the MLWorks description | file | diff | annotate |
| Sun, 18 Oct 1998 16:49:56 +0200 | wenzelm | updated, tuned; | file | diff | annotate |
| Tue, 22 Sep 1998 17:08:30 +0200 | wenzelm | tuned Isamode; | file | diff | annotate |
| Fri, 28 Aug 1998 13:35:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Aug 1998 20:56:26 +0200 | wenzelm | www.in.tum.de; | file | diff | annotate |
| Tue, 28 Jul 1998 16:59:15 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 May 1998 13:50:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 May 1998 12:23:11 +0200 | wenzelm | version under control of Admin/makedist; | file | diff | annotate |
| Mon, 19 Jan 1998 16:26:11 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 24 Dec 1997 12:38:40 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 17 Dec 1997 17:51:39 +0100 | wenzelm | added MLWorks; | file | diff | annotate |
| Mon, 15 Dec 1997 15:32:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 12 Dec 1997 18:10:59 +0100 | wenzelm | prepared for Isabelle98; | file | diff | annotate |
| Thu, 06 Nov 1997 16:44:35 +0100 | wenzelm | Perl no longer optional; | file | diff | annotate |
| Wed, 06 Aug 1997 14:35:52 +0200 | wenzelm | removed smlnj-1.07; | file | diff | annotate |
| Tue, 27 May 1997 14:38:49 +0200 | wenzelm | added 1.09.28 note; | file | diff | annotate |
| Fri, 23 May 1997 18:55:28 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 22 May 1997 17:20:55 +0200 | wenzelm | added href to Isamode; | file | diff | annotate |
| Wed, 21 May 1997 17:13:00 +0200 | wenzelm | tuned all READMEs; | file | diff | annotate |
| Wed, 21 May 1997 11:27:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 20 May 1997 19:32:40 +0200 | wenzelm | fix spelling; | file | diff | annotate |
| Tue, 20 May 1997 19:30:57 +0200 | wenzelm | the new README; | file | diff | annotate |