src/Pure/ML-Systems/smlnj.ML
Tue, 16 Jan 2001 00:35:50 +0100 wenzelm use_text etc.: proper output of error messages;
Fri, 22 Dec 2000 13:53:28 +0100 paulson better definitions of SML90 features
Wed, 20 Oct 1999 15:22:56 +0200 wenzelm use_text: remove last char from output;
Wed, 13 Oct 1999 19:42:46 +0200 wenzelm system;
Thu, 04 Feb 1999 18:15:20 +0100 wenzelm fixed file_info;
Mon, 09 Nov 1998 11:25:24 +0100 wenzelm smart interrupt handler;
Wed, 21 Oct 1998 14:05:49 +0200 wenzelm dropped support for SML/NJ 109.x;
Mon, 29 Jun 1998 10:32:06 +0200 wenzelm use_text: verbose flag;
Mon, 15 Jun 1998 11:06:00 +0200 wenzelm use_text replaces use_strings;
Thu, 28 May 1998 12:21:05 +0200 wenzelm added ml_prompts;
Wed, 17 Dec 1997 14:57:26 +0100 wenzelm tuned comment;
Sat, 13 Dec 1997 17:22:41 +0100 wenzelm tuned comment;
Fri, 12 Dec 1997 22:41:15 +0100 wenzelm Compatibility file for Standard ML of New Jersey.
less more (0) tip