From windley@iris  Wed Jul 25 05:46:37 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA25142; Wed, 25 Jul 90 05:46:37 PDT
Received: from iris.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA23686; Wed, 25 Jul 90 05:50:30 PDT
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA25137; Wed, 25 Jul 90 05:46:31 PDT
Message-Id: <9007251246.AA25137@iris.ucdavis.edu>
To: info-hol@clover.ucdavis.edu
Subject: machines and hol
Date: Wed, 25 Jul 90 05:46:29 PDT
From: Phil Windley <windley@iris>


I'm trying to compile some information on what machines HOL runs on.
If you are using HOL88 on a machine other than the following, woulc you
please mail to me and let me know the details (machine type, LISP
type, what kinds of difficulties you had, version of HOL, etc.):

   Sun 3
   Sun 4
   DECStation (all types)
   VAXen


Thanks,

--phil--


