🚀 go-pugleaf

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          |                                  |
===============================================================================