ISETL 1.6  (c) Gary Marc Levin 1987
This copyright covers the source code, object code, documentation, and
test programs.

This program may be copied in either source or object form and
distributed by anyone.  The only restrictions are that this file be
included in any copied material, and that no charge be made over and
above copying, media, and mailing costs.

The program has been developed by Gary Levin at Clarkson University.
Please address any problems or questions to:

	Gary Levin
	Dept of Math and Computer Science
	Clarkson University
	Potsdam, NY 13676
	(315) 268-2384
        nl00@clutx.clarkson.edu
        decvax!sii!trixie!sandbox!gary

I would appreciate hearing from anyone who has compiled the
system from the source.

I am also interested in any problems that are discovered.  This would
include:

    (1) Failures in the software.  If there is an error message,
	please include that in your report.  If the results are
	unexpected, include an explanation of what you expected and
	what actually occurred.  Where possible, please provide sample
	input that will reproduce the error.

    (2) Problems with the documentation.  If you feel that
	documentation is misleading or unclear, let me know where you
	have problems.

    (3) Missing features.  If there is a feature that you think would
	be useful, describe it and give some examples of how it would
	be useful.


=========

To install ISETL from source tape or disks

Load the files into an empty directory.

The result will be:
    "READ.ME"  (this file)

    "isetl" (compiled to run under 4.2bsd) and ".isetlrc"
    or "isetl.exe" and "isetl.ini" (MSDOS)
    or "isetl 1.6" and "isetl.ini" (Mac).

    *.c and *.h files needed to create isetl.

    parser.y and scanner.l to re-create parser.h, parser.c, and
    scanner.c.

    Makefile to automatically perform compilation.  Type "make
    vax" (use your machine type in place of vax) and wait.  Move
    "isetl" to wherever you want it.  See machine.h if you need to
    tailor the source to a machine not yet covered.

    explain.tex -- source for the printed documentation.

    *.t -- isetl source files to test features and provide
    examples.

    *.r -- standard output for corresponding *.t files.  If you
    run "isetl -s", this is the output.  There may be some
    differences in output, in particular the tests of "random" and
    "arb" and printing of sets.  If these are the only differences,
    everything is fine.

    These test cases are also examples of most of the features
    present in ISETL.

If you attempt to upload from MSDOS to UNIX, some file names will
have been truncated.  If the makefile complains about missing files
(usually by saying "Don't know how to make ..."), check to see if
you have a file whose name needs extending.  Those files are

MSDOS                   UNIX
microcod.c              microcode.c
interpre.c              interpreter.c
operatio.c              operations.c

Similarly, you need to rename "isetl.ini" as ".isetlrc".