Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 12 Jan 1994 13:01:29 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA20506; Wed, 12 Jan 1994 05:50:18 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA20502; Wed, 12 Jan 1994 05:49:40 -0700 Received: from zen.mp.co.umist.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA19212; Wed, 12 Jan 1994 04:47:31 -0800 Received: from zen.mp.co.umist.ac.uk by mp.co.umist.ac.uk with SMTP id AA26612 (5.65c/IDA-1.4.4 for ); Wed, 12 Jan 1994 12:50:42 GMT Message-Id: <199401121250.AA26612@mp.co.umist.ac.uk> To: info-hol@cs.uidaho.edu Subject: HOL on the Mac Date: Wed, 12 Jan 94 12:50:41 GMT From: Simon Read Does anyone know if HOL will compile under Mac Common LISP (MCL)? If so what's the performance like? How much memory do I need to actually do things? Thanks. Simon +------------------------------------------------------------+ | INTEGRVM NON SARCIENDVM | +------------------------+-----------------+-----------------+ | Simon Read | s-mail: | v-mail: | | | | | | aka edd the duck | Room MB/C25 | | | nka Bart Simpson | Computation | +44 61 200 3312 | +------------------------+ UMIST | | | e-mail: | Manchester | +44 61 442 3031 | | | M60 1QD | | | Simon.Read@umist.ac.uk | Great Britain | | +------------------------+-----------------+-----------------+