Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <26503-0@swan.cl.cam.ac.uk>; Fri, 3 Jan 1992 22:10:53 +0000 Received: by ted.cs.uidaho.edu (15.11/1.34) id AA02585; Fri, 3 Jan 92 14:00:28 pst Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (15.11/1.34) id AA02581; Fri, 3 Jan 92 14:00:19 pst Received: from scaup.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <26269-0@swan.cl.cam.ac.uk>; Fri, 3 Jan 1992 21:52:21 +0000 Received: by scaup.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA21253; Fri, 3 Jan 92 21:52:14 GMT Date: Fri, 3 Jan 92 21:52:14 GMT From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9201032152.AA21253@scaup.cl.cam.ac.uk> To: chou@edu.ucla.cs, info-hol@edu.uidaho.cs.ted Subject: Re: HELP! Trouble in running HOL on NeXT using AKCL-1-599 Cc: dmartin@edu.ucla.cs Tsun's problem results from using AKCL-1-599. There were some "optimisations" done that deal with pathname expansion. These caused HOL to behave strangely in loading things like hol-init files or theories. The problem has been fixed in the latest release of AKCL (1-605 I think). Hope this helps, JVT ------------------------------------------------------------------------------ John Van Tassel | Tel: +44-223-334729 Univ. of Cambridge | Fax: +44-223-334678 Computer Laboratory | Pembroke Street | Email: jvt@cl.cam.ac.uk Cambridge CB2 3QG | England |