| Thu, 04 Feb 1999 18:15:20 +0100 | wenzelm | fixed file_info; | file | diff | annotate |
| Mon, 09 Nov 1998 11:08:42 +0100 | wenzelm | simple interrupt_handler; | file | diff | annotate |
| Fri, 23 Oct 1998 18:51:54 +0200 | paulson | Warns when stack is extended; better decl of print_depth | file | diff | annotate |
| Tue, 20 Oct 1998 18:04:23 +0200 | wenzelm | tuned stack_overflow_handler; | file | diff | annotate |
| Fri, 16 Oct 1998 18:52:17 +0200 | wenzelm | tuned MLWorks options; | 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, 27 May 1998 12:25:56 +0200 | paulson | Structure Option now declared in MLWorks | file | diff | annotate |
| Wed, 17 Dec 1997 15:43:54 +0100 | wenzelm | misc improvements; | file | diff | annotate |
| Tue, 16 Dec 1997 18:58:16 +0100 | wenzelm | Compatibility file for MLWorks version 1.0r2 or later. | file | diff | annotate |