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 -------------------------------------------------------------------------------