home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / sys / xerox / 181 next >
Encoding:
Internet Message Format  |  1992-11-09  |  1.9 KB
  1. Path: sparky!uunet!mcsun!uknet!pavo.csi.cam.ac.uk!jg
  2. From: jg@cl.cam.ac.uk (Jim Grundy)
  3. Newsgroups: comp.sys.xerox
  4. Subject: Just what is one of these XeroxLisp beasts?
  5. Message-ID: <1992Nov10.162657.10598@infodev.cam.ac.uk>
  6. Date: 10 Nov 92 16:26:57 GMT
  7. Sender: news@infodev.cam.ac.uk (USENET news)
  8. Reply-To: jg@cl.cam.ac.uk
  9. Organization: Cambridge Hardware Verification Group
  10. Lines: 34
  11. Nntp-Posting-Host: razorbill.cl.cam.ac.uk
  12.  
  13. Hi
  14.  
  15. Seems I have the opertunity to get my hands on some oldish Xerox lisp machine.
  16. The question is - do I want to?
  17.  
  18. I'd like to run a version a theorem prover called HOL on it - which is
  19. is written in a version of ML which is written in common lisp.
  20. Sounds good so far.   Only thing is I'm told that the machine in question
  21. has no software one it - just lisp, and a structure editor for lisp.
  22. And these are not even the latest versions.
  23. I guess I would be needing some other text editor for editing my
  24. ML programs at the very least.
  25.  
  26. So my question is - what sort of software is available for them.
  27. (I'm not a lisp person or a desk top publisher type, I'm thinking primarily
  28. about a text editor) and how difficult/expensive would it be to get hold of.
  29.  
  30. I'm not that desperate that I am willing to invest buckets of time or money
  31. in this, but if I could just get some software, plug it in and go,
  32. I'd be intersted.
  33.  
  34. Jim
  35.  
  36.  
  37. -- 
  38. ===============================================================================
  39. Jim Grundy               
  40. University of Cambridge | Phone: +44 223 334760            | This space has
  41. Computer Laboratory     | Fax:   +44 223 334678            | been intentionally
  42. New Museums Site        | Telex: CAMSPLG 81240             | left blank for
  43. Pembroke Street         | email: jg@cl.cam.ac.uk           | formatting
  44. Cambridge  CB2 3QG      |                                  | purposes.
  45. UNITED KINGDOM          |                                  |
  46. ===============================================================================
  47.