home *** CD-ROM | disk | FTP | other *** search
-
- ISETL 2.0 (c) Gary Marc Levin 1987,1988,1988,1989
-
- This copyright covers the source code, object code, documentation, and
- test and demonstration programs. Parts of the code and documentation
- are copyright Evans and Sutherland. See documentation for full
- description.
-
- 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 Office
- (315) 286-2395 Math Office
- gary@clutx.clarkson.edu Internet
- GARY@CLUTX BITNET
-
- 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 the
- 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.
-
- From the MS-DOS disk, you will need to unarchive the files. The program
- 'arce' will extract the files from the archives. Ex: 'arce tests' will
- produce all the test/result files. You probably want to be on an empty
- disk, say B:, with this disk on A:. The command 'a:arce a:tests'
- will place the files that are extracted on disk B:. You will probably
- wish to place the contents of test.arc and demo.arc in subdirectories.
-
- On VMS, define ``isetl :== $disk:[directory]isetl.exe'' if you
- wish to pass command line arguments. The leading $ is required.
-
- "READ.ME" (this file)
-
- "isetl" (compiled to run under 4.2bsd) and ".isetlrc"
- or "isetl.exe" and "isetl.ini" (MS-DOS,VMS) and ed.com (MS-DOS)
- or "isetl" and "isetl.ini" (Mac).
-
- *.c and *.h files needed to create isetl.
-
- parser.y to re-create parser.c and parser.h.
-
- Makefile to automatically perform compilation.
-
- This only works on Unix sustems. 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.
-
- *.lpr -- line printer approximations to the printed documentation
-
- *.t -- isetl source files to test features and provide examples.
- Interesting examples:
- curry.t Uses of higher order functions
- error.t Common errors and the message that results
- file.t File creation and access
- group.t Does [op,S] form a group?
- insert.t Examples of %. Generalizes: %+ is Sigma
- io.t Formated input and output
- object.t Object-oriented programming
- primeg.t Three different ways to compute primes
- primel.t primes is most mathematical, primel is
- primes.t Pascal-like, primeg uses generators
- where.t Using the 'where' expr
-
-
- *.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.
-
- The files in directory Demo (or demo.arc on MS-DOS disks) form a
- demonstration suite for ISETL. Type `isetl demo' to begin the
- demonstration. On Mac, you must have isetl and isetl.ini in the
- directory containing the demos.
-
- Similarly, you need to rename "isetl.ini" as ".isetlrc".
-
- The Macintosh version needs source files derived from Symantec code.
- These cannot be distributed. You can compile the Mac version under
- THINK C with Screen undefined. Spread the files out into segments
- that are smaller than 32K. You may need to compile with separate
- strings.
-
-