some refining by myself.
New in version 1.43 of Moscow ML:
* Arrays of weak pointers (structure Weak).
* Dynamic linking of external functions under Linux and Solaris
* Access to GNU gdbm persistent hashtables (structures Gdbm, Polygdbm)
* The load paths can be set from the interactive system.
* The interactive system's prompts and responses can be turned off
(option -quietdec, variable Meta.quietdec).
* Prettyprinters can be installed also on base types and abstract types.
* Mosmllex now supports abbreviations for regular expressions.
3922ee7c39