| 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 |