Standard ML of New Jersey
-------------------------

This the the ftp distribution directory for the Standard ML of New
Jersey (SML/NJ) system.  This system consists of a compiler for the
Standard ML programming language and associated libraries, tools, and
documentation.  The system is distributed free of charge and includes
all source code (see release/110/LICENSE).

The subdirectories are

benchmarks/	   a Standard ML benchmark suite
doc/		   compressed tar packages containing documentation (html)
papers/		   a collection of papers relating to SML/NJ
testing/	   a set of test suites for SML/NJ
working/	   developmental versions of SML/NJ
contrib/	   contributed software
isabelle/	   mirror of the Isabelle theorem prover distribution
release/	   release versions of SML/NJ (110, 0.93)
tmp/		   used for communication among SML/NJ developers

Check our web page at:

  http://cm.bell-labs.com/cm/cs/what/smlnj/index.html

for further information.  You can contact us at:

  sml-nj@research.bell-labs.com