ML Kit download page

Home : Download

Download

Version	Release Date	Distributions	Documentation	Test Reports
4.1.4	2004-06-12	tgz, rpm, srpm	NEWS, README, INSTALL, manual	native, kam
4.1.1	2002-08-25	tgz, rpm, srpm	NEWS, README, INSTALL, manual	native, kam
4.1.0	2002-04-06	license problems	NEWS, README, INSTALL, manual	native, kam
4.0.0	2001-09-20	tgz, rpm, srpm	NEWS, README, INSTALL, manual	native, kam
3.9.1	2001-07-06	tgz, rpm, srpm	NEWS, README, INSTALL, manual	native, kam
3.9.0	2001-06-12	tgz, rpm, srpm	NEWS, README, INSTALL, manual	native, kam

Release Numbers

The Kit follows the convention that releases with odd minor release numbers (e.g., 3.1.12) are experimental releases whereas releases with even minor release numbers (e.g., 3.0.1) are stable releases. The convention only applies to the minor number. If x.y.z is a release number, y is called the minor release number.

Installation

To install the latest rpm, execute (as root) on your RedHat Linux box:

  rpm -Uvh http://www.it.edu/research/mlkit/dist/mlkit-4.1.1-1.i386.rpm

To install from the sources, read the INSTALL file.

Greetings from the ML Kit

To try the newly installed ML Kit, save the following SML code in a file greetings.sml in an empty directory somewhere on your system:

  val _ = print "Greetings from the ML Kit\n"

Now, from within the directory, execute the shell command

  mlkit greetings.sml

As a result of the shell command, the ML Kit produces a stand-alone executable file run. To compile programs that are comprised by more than one file, the ML Kit provides the notion of a project; see the manual for details.

Older versions of the ML Kit

ML Kit version 3, December 3, 1998
ML Kit version 2 (i.e., The ML Kit with Regions), 1997
ML Kit version 1, 1993

mlkit@it.edu