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 <3897-0@swan.cl.cam.ac.uk>;
          Tue, 9 Apr 1991 01:16:29 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <27696-0@sun2.nsfnet-relay.ac.uk>;
          Tue, 9 Apr 1991 01:12:59 +0100
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa22214; 9 Apr 91 1:10 BST
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.6.0) id AA17529;
          Mon, 8 Apr 91 16:32:42 -0700
Received: by oxalis.eecs.ucdavis.edu (4.0/3.14) id AA02329;
          Mon, 8 Apr 91 16:32:44 PDT
Date: Mon, 8 Apr 91 16:32:44 PDT
From: foss@edu.ucdavis.eecs.oxalis (Jim Alves-Foss)
Message-Id: <9104082332.AA02329@oxalis.eecs.ucdavis.edu>
To: info-hol@edu.ucdavis.eecs.oxalis
Subject: Ports of HOL to different architecutres and Lisp implementations?
Sender: foss <foss%edu.ucdavis.eecs.oxalis@iris.ucdavis.edu>


Is there a list of different machines, implementations of Lisp, and environments
which HOL has been successfully ported?

If not, could people who have ported HOL to different environments e-mail me
a description of the environment and performance. I will summarize to this
group.

In particular I am interested in ports to different Unix workstations and
personal computers. Other environments are also of interest.

-Jim Alves-Foss
(foss@iris.eecs.ucdavis.edu) /* Of course these are MY opinions */
(foss@[128.120.57.20])       /* and may change without warning. */