Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 18 May 1993 17:15:51 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA27075;
          Tue, 18 May 93 09:05:25 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from atc.boeing.com by ted.cs.uidaho.edu (16.6/1.34) id AA27070;
          Tue, 18 May 93 09:05:21 -0700
Received: by atc.boeing.com (5.57) id AA00934; Tue, 18 May 93 09:09:38 -0700
Received: from lilith.bcs.eca by espresso.rt.cs.boeing.com (4.1/SMI-4.1) 
          id AA23866; Tue, 18 May 93 09:03:30 PDT
Date: Tue, 18 May 93 09:03:30 PDT
From: mjhealy@espresso.rt.cs.boeing.com (Michael J. Healy \(206\) 865-3123)
Message-Id: <9305181603.AA23866@espresso.rt.cs.boeing.com>
To: info-hol@ted.cs.uidaho.edu
Subject: Re Emacs/HOL interface
Cc: kew@atc.boeing.com, mjhealy@espresso.rt.cs.boeing.com


I posted the same problem Geoffrey Hird had some time ago, but 
didn't get a response.  I'm reading through my accumulated email now, 
hoping somebody out there knows what to do about the message

	writing to process: no more processes, hol

Thanks for the clue, Geoffrey.
