Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

85 lines (62 sloc) 3.47 KB
File install.txt.w32 for Moscow ML 2.00 for Win95/98/ME/NT/2000/XP (June 2000)
Moscow ML requires Windows 95, 98, ME, NT, 2000 or XP. The
installation requires around 18 MB disk space.
(1) Change directory to C:\ and unpack the Moscow ML distribution
by executing
NOTE: You must use a version of unzip that preserves long file
names, such as Info-Zip or Winzip.
This creates a directory C:\mosml with subdirectories
mosml/ readme, install.txt
bin/ mosml, mosmlc, mosmllex, mosmlyac, camlrunm,
and the dynamically loadable libraries
copyrght/ copyright notices
doc/ manual.pdf, mosmlref.pdf, mosmllib.pdf, ...
mosmllib/ HTML-documentation of the Moscow ML library
examples/ a few example programs
lib/ bytecode files and basis library units
tools/ mosmldep, Makefile.stub
(2) Add C:\mosml\bin to the PATH variable, and set the environment
variable `mosmllib' to C:\mosml\lib.
(a) In the case of Windows 95/98/ME your AUTOEXEC.BAT file should
contain something like:
set PATH=C:\dos; ... ;C:\mosml\bin
set MOSMLLIB=C:\mosml\lib
The system must be rebooted to enable the new environment
(b) In the case of Windows NT/2000/XP, choose
Start | Settings | Control Panel | System | Advanced
| Environment Variables | System Variables | New
Enter MOSMLLIB as Variable Name and C:\mosml\lib as Variable Value.
Double-click on Path and add ;C:\mosml\bin to the Variable Value.
(3) Start Moscow ML by entering the command line
To quit Moscow ML, type `quit();' or control-Z and return.
Moscow ML was written by
Sergei Romanenko (
Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
Miusskaya Pl. 4, 125047 Moscow, Russia
and Claudio V. Russo (, University of Cambridge.
Thanks to Don Sannella at LFCS, Division of Informatics,
University of Edinburgh for funding under EPSRC grant GR/K63795
and Peter Sestoft (,
Department of Mathematics and Physics, Royal Veterinary and
Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C,
Denmark. Much of the work was done at the Technical University of
Denmark, and while visiting AT&T Bell Laboratories, New Jersey, USA.
Moscow ML owes much to:
* the CAML Light implementation by Xavier Leroy and Damien Doligez
(INRIA, Rocquencourt, France); especially the Caml Light bytecode
generator and the runtime system;
* the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
(Copenhagen University, Denmark, and Edinburgh University, Scotland);
* inspiration from the SML/NJ compiler developed at Princeton
University and AT&T Bell Laboratories, New Jersey, USA;
* the good work by Doug Currie, Flavors Technology, USA, on the
MacOS port and many improvements; and
* feedback, contributions, and useful suggestions, in particular
from Ken Friis Larsen, but also from Jonas Barklund, Mike Gordon,
Michael Norrish, Konrad Slind, and numerous other people.
Jump to Line
Something went wrong with that request. Please try again.