home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / sys / xerox / 182 < prev    next >
Encoding:
Internet Message Format  |  1992-11-10  |  2.2 KB
  1. Path: sparky!uunet!noc.near.net!hri.com!spool.mu.edu!caen!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!cis.ohio-state.edu!sacral.cis.ohio-state.edu!welch
  2. From: welch@sacral.cis.ohio-state.edu (Arun Welch)
  3. Newsgroups: comp.sys.xerox
  4. Subject: Re: Just what is one of these XeroxLisp beasts?
  5. Message-ID: <WELCH.92Nov10134502@sacral.cis.ohio-state.edu>
  6. Date: 10 Nov 92 18:45:02 GMT
  7. References: <1992Nov10.162657.10598@infodev.cam.ac.uk>
  8. Sender: news@cis.ohio-state.edu (NETnews        )
  9. Organization: OSU-LAIR
  10. Lines: 38
  11. In-Reply-To: jg@cl.cam.ac.uk's message of 10 Nov 92 16: 26:57 GMT
  12. Originator: welch@sacral.cis.ohio-state.edu
  13.  
  14. In article <1992Nov10.162657.10598@infodev.cam.ac.uk> jg@cl.cam.ac.uk (Jim Grundy) writes:
  15.  
  16.    Seems I have the opertunity to get my hands on some oldish Xerox lisp machine.
  17.    The question is - do I want to?
  18.  
  19. Maybe. If all you want is a tty-based interface to your theorem prover
  20. then you might be better off with something else, as maintaining one
  21. of these machines is getting harder and harder. 
  22.  
  23.    I'd like to run a version a theorem prover called HOL on it - which is
  24.    is written in a version of ML which is written in common lisp.
  25.  
  26. Sounds like the time I brought up Xlisp in the PC emulator... :-).
  27. Don't expect any staggering speed from something like this.
  28.  
  29.    Sounds good so far.   Only thing is I'm told that the machine in question
  30.    has no software one it - just lisp, and a structure editor for lisp.
  31.  
  32.  
  33. There's a text editor called Tedit included with the base software
  34. distribution, which you might want to hunt around for. It's intended
  35. more as a wysiwyg desktop publishing kinda thing, so it's not really
  36. much fun editing code with it. 
  37.  
  38.    And these are not even the latest versions.
  39.  
  40. I'd be more concerned with this statement, though. Earlier versions of
  41. the software only ran Interlisp-D, and not Common Lisp. You need at
  42. least they Lyric release, which is the point at which CL was added to
  43. the system. If you're running Koto or something earlier you're SOL.
  44.  
  45. ...arun
  46. info-1100-request
  47.  
  48. ----------------------------------------------------------------------------
  49. Arun Welch
  50. Lisp Systems Programmer, Lab for AI Research, Ohio State University
  51. welch@cis.ohio-state.edu
  52.