Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <23550-0@swan.cl.cam.ac.uk>; Wed, 1 Jan 1992 09:09:42 +0000 Received: by ted.cs.uidaho.edu (15.11/1.34) id AA23197; Wed, 1 Jan 92 00:59:20 pst Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (15.11/1.34) id AA23193; Wed, 1 Jan 92 00:59:13 pst Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61b+YP/3.13) id AA12157; Wed, 1 Jan 92 00:59:49 -0800 Message-Id: <9201010859.AA12157@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted Cc: chou@edu.ucla.cs Subject: HOL on NeXT Date: Wed, 01 Jan 92 00:59:48 PST From: chou@edu.ucla.cs If anyone has succeeded in building HOL on a NeXTstation (Release 2.1 running 68040) using AKCL, please let me know. I would like to learn from the experience, especially the AKCL part. Thanks in advance! - Ching Tsun