3922ee7c39
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. |
||
---|---|---|
.. | ||
md5 |