Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 14 Mar 1995 18:39:05 +0000
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA203993932;
          Tue, 14 Mar 1995 10:58:52 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA203953929;
          Tue, 14 Mar 1995 10:58:49 -0700
Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP);
          Tue, 14 Mar 1995 17:56:50 +0000
To: ek@reality.nich.edu (Enrique V. Kortright)
Cc: info-hol@leopard.cs.byu.edu, tfm@dcs.gla.ac.uk
Subject: Re: HOL on a DS5000 under AKCL
In-Reply-To: Your message of "Mon, 13 Mar 1995 13:24:37 CST." <9503131924.AA02172@reality.nich.edu>
Date: Tue, 14 Mar 1995 17:56:35 +0000
From: Tom Melham <tfm@dcs.gla.ac.uk>
Message-ID: <"swan.cl.cam.:187400:950314183950"@cl.cam.ac.uk>

Hi,

> Has anyone installed HOL on a Decstation 5000/200 using AKCL? I would
> appreciate any help in finding a binary for that machine.

I don't know... but because there may be some newcomers to the
mailing list I thought I'd mention that this is just the kind of
question that Phil Windley's WWW tool for searching old info-hol
messages is really good for. You can get at it via:

    http://lal.cs.byu.edu/lal/hol-documentation.html

I just did a search on "Decstation" and got back:

     Search Results on the info-hol message server for 'Decstation'

     Wim Ploegaerts on Allegro Common Lisp on DEC 3100 (18 Feb 1990 )
          Hello! Is there anyone out there who compiled HOL on a 
          DECstation 3100 using Al

     John.Van-Tassel@uk.ac. on DECStations and AKCL (13 Apr 1992 )
          Hi all, After performing some experiments over the week-end, I 
          am able to say t

     DE9DA34%SA.CS.MMU.AC.U on HOL 2.01 on decstation (08 Jan 1993 )
          Attempting to build HOL 2.01 on a DECstation 5000 on top of 
          kcl.mips gives the

     Gregory D. Benson on Building HOL 2.01 on DEC 5000/240 with AKCL 
          Hello, Has anyone successfully built HOL 2.01 on a DECStation 
          5000/240 running

     toshok@cs.uidaho.edu on "Problem building hol90.6 on Decstation5000/200" 
          I know this is pretty silly, since I've built hol90.6 on the 
          same machine befor

     toshok@cs.uidaho.edu on "Whoops! (was problem building hol90 ...)
          Sorry about my blunder, but my problem described in my 
          earlier message had noth

So a good place to start would be to have a look through the contents of
these old messages - or contact the authors of them.

Best wishes,
Tom