File README for Moscow SML 1.03 for DOS/Windows/OS2 (12 September 1994)

Information files:
    install.txt         Installation instructions for DOS
    extens.txt          List of extensions over Core Standard ML
    readme              This file
    recomp.txt          How to recompile Moscow SML

Executable files:
    mosml.exe           Moscow SML executable                   (required)
    camlrun.exe         Modified Caml Light runtime system      (required)
    emu387              Floating point emulator

Copyright information:
    copying.dj          djgpp/go32 copyright notice (DJ Delorie, NH, USA)
    copyrght.cl6        Caml Light copyright notice (INRIA, France)
    GPL2                GNU General Public License

LIMITATIONS

The current version 1.00 of Moscow SML
    * implements the entire Standard ML Core language
    * does not implement modules (signatures, structures, functors)    
    * does not raise arithmetic exceptions properly

SYSTEM REQUIREMENTS

Moscow SML requires a 386 or 486 PC with 2 MB of RAM or more, and DOS
3.3 or later.  The installation requires around 360 KB disk space.

AUTHOR AND CREDITS

Moscow SML was written by
    Sergei Romanenko (sergei-romanenko@refal.msk.su)
    Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
    Miusskaya Pl. 4, 125047 Moscow, Russia.

Scientific and practical assistance was provided by
    Peter Sestoft (sestoft@dina.kvl.dk), Technical University of Denmark.

Moscow SML is based on, and would not exist without:
    * the CAML Light 0.6 implementation by Xavier Leroy and Damien Doligez
      (INRIA, Rocquencourt, France);
    * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
      (Copenhagen University, Denmark, and Edinburgh University, Scotland);
    * djgpp and the go32 DOS extender by D.J. Delorie (Rochester, NH, USA).

COPYRIGHT NOTICE FOR MOSCOW SML

    Moscow SML - a lightweight implementation of Core Standard ML.
    Copyright (C) 1994 Sergei Romanenko, Moscow, Russia.

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

AVAILABILITY
    * The DOS executables are in
	dina.kvl.dk:pub/Peter.Sestoft/mosml/mos1bin.zip
    * The Linux executables are in
	dina.kvl.dk:pub/Peter.Sestoft/mosml/linux-mos1bin.tar.gz
    * The DOS and Unix source files are in
	dina.kvl.dk:pub/Peter.Sestoft/mosml/mos1src.tar.gz

You will need Caml Light 0.6 and gcc to recompile Moscow SML for Unix.
You will need Caml Light 0.6, djgpp, and Borland C++ version 2.0 (or
later) to recompile Moscow SML for DOS:
    * Caml Light can be obtained from ftp.inria.fr:lang/caml-light/
    * Djgpp and go32 can be obtained from oak.oakland.edu:/pub/msdos/djgpp/

Last updated 1994-09-12 by sestoft@dina.kvl.dk