| Thu, 28 Feb 2002 21:35:07 +0100 | wenzelm | renamed mask_interrupt to ignore_interrupt; | file | diff | annotate |
| Mon, 11 Feb 2002 17:30:58 +0100 | wenzelm | ML-Systems/smlnj-compiler.ML compatibility tweak; | file | diff | annotate |
| Fri, 21 Dec 2001 17:31:45 +0100 | berghofe | Redundant patterns no longer cause errors. | file | diff | annotate |
| Thu, 08 Nov 2001 23:57:22 +0100 | wenzelm | removed needs_filtered_use; | file | diff | annotate |
| Tue, 16 Jan 2001 00:35:50 +0100 | wenzelm | use_text etc.: proper output of error messages; | file | diff | annotate |
| Fri, 22 Dec 2000 13:53:28 +0100 | paulson | better definitions of SML90 features | file | diff | annotate |
| Wed, 20 Oct 1999 15:22:56 +0200 | wenzelm | use_text: remove last char from output; | file | diff | annotate |
| Wed, 13 Oct 1999 19:42:46 +0200 | wenzelm | system; | file | diff | annotate |
| Thu, 04 Feb 1999 18:15:20 +0100 | wenzelm | fixed file_info; | file | diff | annotate |
| Mon, 09 Nov 1998 11:25:24 +0100 | wenzelm | smart interrupt handler; | file | diff | annotate |
| Wed, 21 Oct 1998 14:05:49 +0200 | wenzelm | dropped support for SML/NJ 109.x; | file | diff | annotate |
| Mon, 29 Jun 1998 10:32:06 +0200 | wenzelm | use_text: verbose flag; | file | diff | annotate |
| Mon, 15 Jun 1998 11:06:00 +0200 | wenzelm | use_text replaces use_strings; | file | diff | annotate |
| Thu, 28 May 1998 12:21:05 +0200 | wenzelm | added ml_prompts; | file | diff | annotate |
| Wed, 17 Dec 1997 14:57:26 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Sat, 13 Dec 1997 17:22:41 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 12 Dec 1997 22:41:15 +0100 | wenzelm | Compatibility file for Standard ML of New Jersey. | file | diff | annotate |