SETL

Thread View: comp.lang.misc

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Robert Wahbe Wed, 01 May 1991 04:35

#3717

Author: Robert Wahbe
Date: Wed, 01 May 1991 04:35

5 lines
585 bytes

Does anybody know where I can get a setl compiler or interpreter?
I have access to Sun3, Sun4 and Dec3100 machines.

Thanks in advance,
Robert

Re: SETL

#3723

Author: W. Kirk Snyder
Date: Thu, 02 May 1991 03:18

17 lines
1003 bytes

rwahbe@madrone.Berkeley.EDU (Robert Wahbe) writes:

>Does anybody know where I can get a setl compiler or interpreter?
>I have access to Sun3, Sun4 and Dec3100 machines.

>Thanks in advance,
>Robert

I don't think NYU distributes SETL anymore, but you can get the
authoritative word on that by writing to Matthew Smosna
(smosna@cs.nyu.edu).  It only runs on Sun3's, of the machines you
mentioned.

SETL2 will run on any of the machines you have.  You can get the system
and documentation in PostScript format via anonymous ftp at cs.nyu.edu.

-- Kirk Snyder

Re: SETL

#3745

Author: William Ricker
Date: Fri, 03 May 1991 22:27

13 lines
1005 bytes

I don't know about SETL distribution, but the ISETL interactive version
was listed in COMP.ARCHIVES master file as being at:
clutx.clarkson.edu                 128.153.4.3     BBSLists Batch ISETL
which is reasonable since clarkson is where Gary Levin made it interactive.

Reference: N.Baxter, E.Dubinsky, & G.Levin, /Learning Discrete Mathematics
with ISETL/, Springer-Verlag, 1988, cited in Proc. NEMATYC'90.


-- 
/s/ Bill Ricker                wdr@wang.wang.com 
"The Freedom of the Press belongs to those who own one."
*** Warning: This account is not authorized to express opinions. ***

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads