Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <15447-0@swan.cl.cam.ac.uk>; Thu, 30 Jan 1992 11:47:38 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12899; Thu, 30 Jan 92 03:36:43 -0800 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 (16.6/1.34) id AA12895; Thu, 30 Jan 92 03:36:35 -0800 Received: from scoter.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <15114-0@swan.cl.cam.ac.uk>; Thu, 30 Jan 1992 11:37:32 +0000 Received: by scoter.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA06113; Thu, 30 Jan 92 11:37:20 GMT Date: Thu, 30 Jan 92 11:37:20 GMT From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9201301137.AA06113@scoter.cl.cam.ac.uk> To: chou@edu.ucla.cs, info-hol@edu.uidaho.cs.ted Subject: Re: Problem with running HOL on a NeXT using AKCL-1-605 I think that your problem with "~" filname expansion is NeXT-specific. The same sort of thing works fine on our Sun's (3's and Sparc's). JVT