This version of ML is provided under the terms of the attached licence
from the University of Edinburgh.  A version is available for raw MSDOS
and another for Microsoft Windows.  If you collect a copy of these files
on floppy disc it is your responsibility to install the system on your
computer, and you will need a amall amount of experience to do so:

(1) Windows:
    Ensure that "win32s" is installed on your Windows machine.  This is
    a Microsoft extension to regular Windows 3.1 that allows some 32-bit
    applications to run.  If it is installed you probably have a game
    called "freecell" available (which is installed as a test of win32s).
    If not, install win32s before doing anything else.

    Put the files cml.exe, cml.exp and cml.hlp all in the same directory
    on your hard disc.

    Create a new program group if you want.  Create a program item in this
    group, and make it refer to the file cml.exe.

    That should be all!  Run CML by double-clicking on the ML icon. Leave
    it by selecting EXIT from the FILE menu.

(2) MSDOS:
    Ensure that your machine is an 80386 or 80486 or Pentium computer
    with at least 4 Mbytes of memory.

    Copy the file cmldos.exe from the distribution disc, but call it just
    cml.exe on your hard disc.  Copy the file cml.exp to the same directory
    on your hard disc.

    check the "path" statement in your "autoexec.bat" file and either
    ensure that you put the cml files in one of the directories listed
    there, or edit "autoexec.bat" to add the name of the new directory you
    used for cml.

    If you altered autoexec.bat, re-start your computer so that the new
    settings come into force.
    
    Start ML by typing "cml".  Leave it by typing control-Z.

                                A C Norman.   August 1994
    
(3) There may be some sample ML programs on this disc with name that
end ".ml".  To try them under Windows select READ from the FILE menu and
then locate the file.  Type ENTER after ML has displayed a line
thet starts off "use". Under DOS go
    use "filename.ml";
where "filename.ml" is the name of the file to be processed.

==============================================================================

Laboratory for Foundations of Computer Science
----------------------------------------------
Department of Computer Science - University of Edinburgh

Standard ML Licence Agreement
-----------------------------
Return one copy of this document to LFCS Software Distribution at the
address below and keep one copy for your records.

LFCS,                                              031-667-1081 ext. 2987 
Department of Computer Science,                  Telex: 727442 (UNIVED G) 
University of Edinburgh,                          E-Mail:ml@uk.ac.ed.lfcs
King's Buildings, 
Edinburgh, EH9 3JZ 
UK

I, the licensee, agree to the conditions below in respect of the Standard ML
System supplied by the Laboratory for Foundations of Computer Science of the
University of Edinburgh.


Signed: 	____________________________   Date:________________________

Name(printed):	____________________________________________________________

Title:	        ____________________________________________________________

Organisation:	____________________________________________________________

Address:	____________________________________________________________

                ____________________________________________________________

Telephone:	__________________ Electronic Mail: ________________________

Conditions of Licence:

1. Title to and copyright of the Standard ML System remains with the Laboratory
for Foundations of Computer Science at the University of Edinburgh.
                                                                               
2. The ML System may be used freely within the licensee's organisation for
research and educational purposes. Commercial and revenue earning use are
excluded form this agreement. Evaluation for potential commercial use is
permitted, but licencees are advised to contact LFCS in advance of this
activity.

3. The licensee will not pass the ML System to anyone outside their
organisation unless they are already signatories to this licence in which case
the system may be copied to them under the same terms as this licence. No
charge may be levied for this distribution.

4. The licensee accepts the ML system "as is". The University of Edinburgh
makes no warranty in respect of the ML System. Nevertheless licensees are
encouraged to report to LFCS any problems with or suggestions for improvement
of the the ML System.

5. The licensee may modify the supplied ML System on condition that any
significant changes are notified to LFCS and made available to LFCS such that
they may be incorporated within future releases of the ML System and licenced
under the conditions of this licence agreement.  "Significant changes" will
include, for example, changes to the language accepted by the system or ports
to previously unsupported host computer types. Licencees are strongly advised
to consult LFCS before starting such work in order to avoid duplication and to
assess the feasibility of the work.

6. Licencees will acknowledge LFCS and The University of Edinburgh as the
designers of the ML language and implementors of this implementation in any
relevant document or publication.



