Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by nene.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 1 Dec 1995 20:33:53 +0000 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA232884672; Fri, 1 Dec 1995 09:17: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 AA232854669; Fri, 1 Dec 1995 09:17:49 -0700 Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP); Fri, 1 Dec 1995 16:00:25 +0000 To: homeier@uniblab.aero.org (Peter Homeier) Cc: info-hol@leopard.cs.byu.edu, slh@digitool.com, wfs@fireant.ma.utexas.edu, info@tenon.com, homeier@cs.ucla.edu, tfm@dcs.gla.ac.uk Subject: Re: Need help to run HOL on a new Mac In-Reply-To: Your message of "Thu, 30 Nov 1995 16:18:28 PST." <9512010018.AA14907@baggins.itd> Date: Fri, 01 Dec 1995 16:00:04 +0000 From: Tom Melham Message-ID: <"nene.cl.cam.:122750:951202080740"@cl.cam.ac.uk> > Does anyone have any advice on how I might proceed, so I can continue with > my research? My shiny new hardware is for the moment not able to do the > main thing I bought it for. If anyone *does* have advice for Peter, please post a copy (or maybe a summary) to info-hol. I'm sure other users would be interested. E.g. I also have a shiny new (biggish) Mac in my office... Tom