news@brian386.uucp (News Administrator) (11/21/90)
Okay, I finally got a copy of HOL from Phil Windley (thanks Phil 8-). And I have now run into another problem. Does anyone have/no where I can get a copy of either Common Lisp or Franz Lisp which will work on a 386/AT with Interactive 386/ix v2.2? I need either an email server with it or an anonymous uucp site. I would prefer not to use email or a BitNet/FTP server because of the bandwidth I am sure it would consume. Any pointers, clues, or anything really will be gratefully accepted. brian