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 |