Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to fgate (PP) id <19175-0@swan.cl.cam.ac.uk>;
          Tue, 23 Apr 1991 02:58:12 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <25795-174@sun2.nsfnet-relay.ac.uk>;
          Mon, 22 Apr 1991 23:11:46 +0100
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa19345; 22 Apr 91 21:09 BST
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.6.0) id AA14750;
          Mon, 22 Apr 91 11:15:44 -0700
Received: from TIS.COM (192.33.112.100) by aster.eecs.ucdavis.edu (3.2/3.14)
          id AA20750; Mon, 22 Apr 91 11:16:02 PDT
Received: from JUPITER.TIS.COM by TIS.COM (4.1/SUN-5.64) id AA24076;
          Mon, 22 Apr 91 14:15:48 EDT
Message-Id: <9104221815.AA24076@TIS.COM>
To: info-hol@edu.ucdavis.eecs.aster
Cc: redmond@com.TIS
Subject: HOL on a 386 (Sys V Unix)
Date: Mon, 22 Apr 91 14:15:28 -0400
From: redmond@com.TIS
Sender: redmond <redmond%com.tis@iris.ucdavis.edu>


Has anyone ported HOL to a 386 AT running System V UNIX?

What version of lisp was used and is it public domain?

What are the issues regarding performance and memory requirements?

                                                        tim.