Ucompress and untar files:
	src.tar.Z doc.tar.Z progs.tar.Z bench.tar.Z

You will need a common lisp interpreter.
For fast execution you will need a common lisp compiler.

If you don't have one already you can install Austin-Kyoto Common Lisp
which is available at no cost at all.
You can get it with anonymous FTP 
from cli.com or rascal.ics.utexas.edu (128.83.138.20)

The sources, manual, example programs and benchmarks of ALLOY are available
for anonymous FTP from cs.nyu.edu (128.122.140.24)

----------

To create ALLOY cd in directory src,
read the comments at the beginning of file Makefile and after you make
any changes execute command 'make'.

-------------------------------------------------------------------------------
Internet: mitsolid@cs.nyu.edu	             (mitsolid%cs.nyu.edu@relay.cs.net)
UUCP    : ...!uunet!cmcl2!cs!mitsolid
-------------------------------------------------------------------------------
