Thread View: comp.sys.xerox
2 messages
2 total messages
Started by Jim Grundy
Tue, 10 Nov 1992 16:26
Just what is one of these XeroxLisp beasts?
Author: Jim Grundy
Date: Tue, 10 Nov 1992 16:26
Date: Tue, 10 Nov 1992 16:26
34 lines
2021 bytes
2021 bytes
Hi Seems I have the opertunity to get my hands on some oldish Xerox lisp machine. The question is - do I want to? I'd like to run a version a theorem prover called HOL on it - which is is written in a version of ML which is written in common lisp. Sounds good so far. Only thing is I'm told that the machine in question has no software one it - just lisp, and a structure editor for lisp. And these are not even the latest versions. I guess I would be needing some other text editor for editing my ML programs at the very least. So my question is - what sort of software is available for them. (I'm not a lisp person or a desk top publisher type, I'm thinking primarily about a text editor) and how difficult/expensive would it be to get hold of. I'm not that desperate that I am willing to invest buckets of time or money in this, but if I could just get some software, plug it in and go, I'd be intersted. Jim -- =============================================================================== Jim Grundy University of Cambridge | Phone: +44 223 334760 | This space has Computer Laboratory | Fax: +44 223 334678 | been intentionally New Museums Site | Telex: CAMSPLG 81240 | left blank for Pembroke Street | email: jg@cl.cam.ac.uk | formatting Cambridge CB2 3QG | | purposes. UNITED KINGDOM | | ===============================================================================
Re: Just what is one of these XeroxLisp beasts?
Author: Arun Welch
Date: Tue, 10 Nov 1992 18:45
Date: Tue, 10 Nov 1992 18:45
38 lines
2278 bytes
2278 bytes
In article <1992Nov10.162657.10598@infodev.cam.ac.uk> jg@cl.cam.ac.uk (Jim Grundy) writes: Seems I have the opertunity to get my hands on some oldish Xerox lisp machine. The question is - do I want to? Maybe. If all you want is a tty-based interface to your theorem prover then you might be better off with something else, as maintaining one of these machines is getting harder and harder. I'd like to run a version a theorem prover called HOL on it - which is is written in a version of ML which is written in common lisp. Sounds like the time I brought up Xlisp in the PC emulator... :-). Don't expect any staggering speed from something like this. Sounds good so far. Only thing is I'm told that the machine in question has no software one it - just lisp, and a structure editor for lisp. There's a text editor called Tedit included with the base software distribution, which you might want to hunt around for. It's intended more as a wysiwyg desktop publishing kinda thing, so it's not really much fun editing code with it. And these are not even the latest versions. I'd be more concerned with this statement, though. Earlier versions of the software only ran Interlisp-D, and not Common Lisp. You need at least they Lyric release, which is the point at which CL was added to the system. If you're running Koto or something earlier you're SOL. ...arun info-1100-request ---------------------------------------------------------------------------- Arun Welch Lisp Systems Programmer, Lab for AI Research, Ohio State University welch@cis.ohio-state.edu
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