This is file README for Moscow ML 2.10.1 for Linux/Unix (August 2014)
EXTENT OF THE IMPLEMENTATION
The current version 2.10.1 of Moscow ML
* implements the full Standard ML language, as revised 1997,
including Modules and some extensions
* yet is backwards compatible with versions prior to 2.00
* implements large parts of the new SML Basis Library
* implements separate compilation
* can produce compact stand-alone executables (a la Caml Light)
* supports quotations and antiquotations, useful for metaprogramming
* supports dynamic linking of external functions under Linux (x86
and Alpha), FreeBSD, NetBSD, Solaris, Digital Unix, HP-UX,
MacOS, and MS Windows'95/98/NT/XP/Vista and possibly also 7 and 8. New in version 2.10.1 of Moscow ML
New in version 2.10 of Moscow ML
SYSTEM REQUIREMENTS
Compilation under Unix is best done using GNU make, gcc, and Perl. A binary installation requires 8 MB disk space; a source installation requires 25 MB disk space.
LIST OF FILES
Executables and bytecode files: bin/ Moscow ML top-level system and batch compiler lib/ Bytecode files and standard libraries tools/* Tools to infer unit inter-dependencies
Documentation files: install.txt Installation instructions for Linux README This file doc/manual.pdf User manual (PDF format) doc/mosmlref.pdf A compact guide to Moscow ML syntax and primitives doc/mosmllib.pdf Moscow ML library documentation with an index doc/mosmllib/.html Moscow ML library documentation in HTML format copyrght/ Copyright notices (for Caml Light, SML/NJ, ...)
AUTHOR AND CREDITS
Moscow ML was written by Sergei Romanenko (roman@keldysh.ru) Keldysh Institute of Applied Mathematics, Russian Academy of Sciences Miusskaya Pl. 4, 125047 Moscow, Russia and Claudio V. Russo at Edinburgh University, now at Microsoft Research UK, Thanks to Don Sannella at LFCS, Division of Informatics, University of Edinburgh for funding under EPSRC grant GR/K63795 and Peter Sestoft (sestoft@itu.dk), IT University of Copenhagen, Denmark. Previously at Department of Mathematics and Physics, Royal Veterinary and Agricultural University, Denmark. Much of the work was done at the Technical University of Denmark, and while visiting AT&T Bell Laboratories, New Jersey, USA. and Ken Friis Larsen (ken@friislarsen.net) Department of Computer Science, University of Copenhagen, Denmark.
Moscow ML owes much to:
COPYRIGHT NOTICE FOR MOSCOW ML
Moscow ML - a lightweight implementation of Standard ML.
Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000
Sergei Romanenko, Moscow, Russia and Peter Sestoft, Copenhagen, Denmark.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License in copyrght/gpl2 for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.Note that a number of source files are derived from the Caml Light distribution, copyright (C) 1993 INRIA, Rocquencourt, France. Thus charging money for redistributing Moscow ML may require prior permission from INRIA; see the INRIA copyright notice in file copyrght/copyrght.cl. The Caml Light system itself can be obtained from ftp.inria.fr:lang/caml-light.
AVAILABILITY