🚀 go-pugleaf

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