From @sun.tfl.dk:fa@sun.tfl.dk  Thu Jun 21 06:15:47 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA18524; Thu, 21 Jun 90 06:15:47 PDT
Received: from danpost.uni-c.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA20154; Thu, 21 Jun 90 06:15:30 PDT
Received: by danpost.uni-c.dk (5.57/4.7)
        id AA25362; Thu, 21 Jun 90 13:11:05 GMT
Received: from tfl.dk by vms2.uni-c.dk; Thu, 21 Jun 90 15:13 GMT+2
Received: from sun0.tfl.dk by tfl.dk; Thu, 21 Jun 90 15:10 +0100
Received: from sun1 by sun0.tfl.dk with SMTP (5.61++/IDA-1.2.8) id AA10027;
 Thu, 21 Jun 90 15:12:43 +0200
Received: by sun1.tfl.dk (5.61++/IDA-1.2.8) id AA04458; Thu, 21 Jun 90 15:10:06
 +0200
Date: Thu, 21 Jun 90 15:10:06 +0200
From: fa@tfl.dk
Subject: RO
To: info-hol@clover.ucdavis.edu
Message-Id: <9006211310.AA04458@sun1.tfl.dk>
X-Envelope-To: info-hol@clover.ucdavis.edu


Hi everybody,

has anyone ported HOL to one of the RISC workstations?

Especially I'd like information of the SONY NWS-3860 model (20 MIPS machine),
or the SONY RISC NEWS model (17 MIPS machine).

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

--Flemming--


Flemming Andersen                       | fa@tfl.dk
TFL - a Telecomms Research Laboratory   |
Lyngsoe Alle 2                          |
DK-2970 Hoersholm                       | ++45 45 766 444
Denmark

