This is file README for Moscow SML 1.00 for DOS (August 1994)

Information files

    install.txt         Installation instructions for DOS
    extens.txt          List of extensions over Core Standard ML
    readme              This file

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 Public License version 2


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.

Some scientific and practical assistance was provided by
    Peter Sestoft (sestoft@id.dtu.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);
    * djgpp and the go32 DOS extender by D.J. Delorie (Rochester, NH, USA);
    * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner 
      (Copenhagen University, Denmark, and Edinburgh University, Scotland).


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 OF EXECUTABLES AND SOURCE FILES

The executable files are available as
    ftp.id.dth.dk:pub/sestoft/mosml/mos04bin.zip

The source files are available as
    ftp.id.dth.dk:pub/sestoft/mosml/mos04src.zip

You will need Caml Light 0.6, djgpp, and Borland C++ version 2.0 (or
later) to recompile Moscow SML from scratch:

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


