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; Mon, 30 May 1994 17:45:29 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA23437; Mon, 30 May 1994 10:29:29 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from grolsch-2.cs.ubc.ca by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA23433; Mon, 30 May 1994 10:29:26 -0600 Received: by grolsch.cs.ubc.ca id AA09547 (5.65c/IDA-1.3.5 for info-hol@leopard.cs.byu.edu); Mon, 30 May 1994 09:29:08 -0700 X400-Received: by mta cs.ubc.ca in /PRMD=/ADMD=/C=/; Relayed; Mon, 30 May 1994 9:29:07 UTC-0700 X400-Received: by /PRMD=ca/ADMD=/C=/; Relayed; Mon, 30 May 1994 9:29:07 UTC-0700 Date: Mon, 30 May 1994 9:29:07 UTC-0700 X400-Originator: donat@cs.ubc.ca X400-Recipients: non-disclosure:; X400-Content-Type: P2-1984 (2) X400-Mts-Identifier: [/PRMD=ca/ADMD=/C=/;940530092907] Content-Identifier: 1352 Conversion: Prohibited From: Michael Donat To: info-hol@leopard.cs.byu.edu Cc: leonard@ricks.enet.dec.com Message-Id: <"1352*donat@cs.ubc.ca"@MHS> Subject: Best DEC platform for HOL88 202/201 ?? Mime-Version: 1.0 (Generated by Ean X.400 to MIME gateway) Has anyone had experience building/using HOL88 version 2.01 or 2.02 on a DEC Alpha or other DEC machine? I'm trying to determine the best mix of Lisp and DEC hardware for HOL88. Thanks for any info, Michael Donat University of British Columbia Department of Computer Science 2366 Main Mall Vancouver, B.C. Canada V6T 1Z4