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; Fri, 14 May 1993 20:42:50 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA22016;
          Fri, 14 May 93 12:34:50 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA22011;
          Fri, 14 May 93 12:33:41 -0700
Received: from nestor.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) 
          id AA06811; Fri, 14 May 93 15:31:54 EDT
Date: Fri, 14 May 93 15:31:20 EDT
From: geoffrey@oracorp.com
Received: by nestor.oracorp.com (4.1/1.3-ORA Corporation) id AA07490;
          Fri, 14 May 93 15:31:20 EDT
Message-Id: <9305141931.AA07490@nestor.oracorp.com>
To: info-hol@ted.cs.uidaho.edu
Subject: Emacs/HOL interface

  I'm using the Emacs/HOL interface written by Phillip Windley.  I
often want to send a region from my .ml file to the HOL interpreter,
using the command ESC C-z.  When I send a large enough region (say 25
lines/commands), it stops processing the commands after about 13, and
gives the cryptic message:

writing to process: no more processes, hol

  Does anyone know what is going on, or better, how I can successfully
send arbitrarily large regions?

Geoffrey

Geoffrey Hird
geoffrey@oracorp.com
ORA Corp., 301A Dates Drive, Ithaca NY 14850, U.S.A.
telephone: (607) 277-2020