From joyce@cs.ubc.ca  Wed Feb 28 15:47:12 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA22192; Wed, 28 Feb 90 15:47:12 PST
Received: from relay.cdnnet.ca by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA20006; Wed, 28 Feb 90 15:51:37 PST
Received: by relay.CDNnet.CA (4.1/1.14)
        id AA00794; Wed, 28 Feb 90 15:47:22 PST
Date: 28 Feb 90 15:48 -0800
From: Jeffrey Joyce <joyce@cs.ubc.ca>
To: <info-hol@clover.ucdavis.edu>
Message-Id: <184*joyce@cs.ubc.ca>
Subject: running HOL on Apollo's

Has anyone ported HOL to an Apollo workstation, ...
in particular, a DN3000 or DN3500 running Domain 10.2 ?

If so, I'd appreciate hearing about some of the details
(i.e., which Lisp ?)

Jeff Joyce
Univ. of British Columbia

