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
|