Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!apple!usc!cs.utexas.edu!uunet!image.soe.clarkson.edu!news From: gary@sun.mcs.clarkson.edu (Gary Levin) Newsgroups: comp.lang.misc Subject: Re: Looking for info on SETL Message-ID: Date: 30 Jun 89 21:10:46 GMT References: <8292@batcomputer.tn.cornell.edu> Sender: news@sun.soe.clarkson.edu Organization: Clarkson University, Postdam NY Lines: 100 In-reply-to: lacey@batcomputer.tn.cornell.edu's message of 30 Jun 89 18:38:01 GMT There is a SETL compiler. Contact schonberg@acf2.nyu.edu for more information. There is a version for Vaxen. They were also working on a PC compiler. Don't know the state of things. I have implemented a highly portable version that is interactive and interpreted. The implementation is called ISETL and is available for free through FTP or an archive server. Feel free to write me if you have questions on ISETL. ISETL runs on PCs, Macs, Vaxen (Unix and VMS), and most anything with a C compiler and 0.5M. I have heard of people compiling it on Atari-STs and Amigas, but I don't have executables for those machines. There is a book that describes using ISETL for learning discrete math called ``Learning Discrete Mathematics with ISETL'' [clever title :-)] by Baxter, Dubinsky, and Levin(me). You can fetch ISETL from clutx.clarkson.edu:pub/ISETL. There are source, documentation, test directories. The READ.ME explains things. You can fetch the ISETL Source code by mailing requests to archive-server@sun.soe.clarkson.edu archive-server%sun.soe.clarkson.edu@clutx from bitnet The description of how to do this is below. First send to this address, with the message `send isetl index'. The file below is what you will receive as the index, so you can go to the next step and try `send isetl/source index'. You'll need to request the files a few at a time. This should work for all Arpanet and UUCP nodes. I hope that it will work for all Bitnet nodes as well. You can now get ISETL source, tests, documentation, and demos through e-mail. You will send a one line message to `archive-server@sun.soe.clarkson.edu', and files will be sent to you. A description of what is available is included below. When you make a request, the files are packaged into one mail message. You strip the header off and direct the files through `sh'. On non-unix systems, you will need to split up the files manually. Alternately, request each file separately. ----------- This material may be freely copied and distributed, so long as credit is given to the author, and no profit is made on the distribution. Direct questions to `gary@clutx.bitnet' or `gary@clutx.clarkson.edu'. Category Contents ==================================================================== Demo Files that display some of the uses of ISETL. Suitable to be given to novices for an initial sample of ISETL. Doc Line printer approximations to the ISETL Documentation. Printed copies can be ordered from Gary Levin (address below) $10. Unlimited copies may be made without additional fees. Source Source code for ISETL. On Unix systems, `make YOURSYSTEM'. Generally, compile and link all the .c files. See `machine.h' for system dependent features that should be considered. Tests Many programs with sample outputs. Running `isetl -s -d