| 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 |