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 <14651-0@swan.cl.cam.ac.uk>;
          Tue, 9 Apr 1991 12:44:28 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <9704-1@sun2.nsfnet-relay.ac.uk>;
          Tue, 9 Apr 1991 12:41:12 +0100
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa05171; 9 Apr 91 12:38 BST
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.6.0) id AA28515;
          Tue, 9 Apr 91 04:35:52 -0700
Received: from cc1.kuleuven.ac.be ([134.58.10.1])
          by oxalis.eecs.ucdavis.edu (4.0/3.14) id AA02523;
          Tue, 9 Apr 91 04:35:50 PDT
Received: from kulcs by cc1.kuleuven.ac.be (IBM VM SMTP R1.2.2MX) with TCP;
          Tue, 09 Apr 91 13:35:31 +02
Received: from esat.kuleuven.ac.be by kulcs (5.64+/n_kulcs1.1) id AA05237;
          Tue, 9 Apr 91 12:37:31 +0100
Date: Tue, 9 Apr 91 13:35:13-0100
Message-Id: <9104091335.AA01321@esat.kuleuven.ac.be>
Received: by esat.kuleuven.ac.be Tue, 9 Apr 91 13:35:15-0100
From: ploegaer <ploegaer%chaos.imec.be@be.imec>
To: foss@edu.ucdavis.eecs.oxalis, info-hol@edu.ucdavis.eecs.oxalis
Subject: Re: Ports of HOL to different architecutres and Lisp implementations?



Hi!

  I'm using HOL on a

  DEC3100 Ultrix4.1 kcl  (akcl does NOT work)

  I've been using HOL on

  DEC3100 Ultrix3.? with kcl,ibcl


  What kind of performance test are thinking about, the benchmark or
  something different???


                                                Wim (ploegaer@imec.be)