Thu, 28 Feb 2002 21:34:33 +0100 |
wenzelm |
renamed mask_interrupt to ignore_interrupt;
|
file |
diff |
annotate
|
Thu, 08 Nov 2001 23:57:22 +0100 |
wenzelm |
removed needs_filtered_use;
|
file |
diff |
annotate
|
Tue, 06 Feb 2001 18:41:27 +0100 |
wenzelm |
4.0 version;
|
file |
diff |
annotate
|
Tue, 16 Jan 2001 00:35:50 +0100 |
wenzelm |
use_text etc.: proper output of error messages;
|
file |
diff |
annotate
|
Mon, 08 May 2000 11:45:47 +0200 |
wenzelm |
val needs_filtered_use = true;
|
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
|
Mon, 02 Aug 1999 15:39:04 +0200 |
wenzelm |
removed obsolete concat;
|
file |
diff |
annotate
|
Mon, 02 Aug 1999 11:33:18 +0200 |
paulson |
String.isPrefix
|
file |
diff |
annotate
|
Wed, 28 Jul 1999 10:28:34 +0200 |
paulson |
added String.concat
|
file |
diff |
annotate
|
Thu, 04 Feb 1999 18:15:20 +0100 |
wenzelm |
fixed file_info;
|
file |
diff |
annotate
|
Mon, 28 Dec 1998 16:50:11 +0100 |
paulson |
Basis Library compatible substring oeration
|
file |
diff |
annotate
|
Mon, 09 Nov 1998 11:09:33 +0100 |
wenzelm |
fake interrupt handler;
|
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 17:02:29 +0200 |
wenzelm |
fixed ml_prompts;
|
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
|
Fri, 28 Nov 1997 10:59:14 +0100 |
paulson |
New timing functions startTiming and endTiming
|
file |
diff |
annotate
|
Wed, 06 Aug 1997 14:42:44 +0200 |
wenzelm |
renamed use_string to use_strings;
|
file |
diff |
annotate
|
Tue, 05 Aug 1997 16:14:23 +0200 |
wenzelm |
cleaned up;
|
file |
diff |
annotate
|
Mon, 16 Dec 1996 10:04:45 +0100 |
wenzelm |
added needs_filtered_use;
|
file |
diff |
annotate
|
Mon, 09 Dec 1996 16:09:38 +0100 |
wenzelm |
Compatibility file for Poly/ML (versions 2.x, 3.x).
|
file |
diff |
annotate
|