From 52cd06a76615b67c114db85f21d611c4ff6a08da Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Apr 2004 17:21:12 +0000
Subject: Updated.

---
 FAQ | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 9fdccfde..dcbb9324 100644
--- a/FAQ
+++ b/FAQ
@@ -158,10 +158,10 @@ Q. I'm afraid I got stuck very early on.  I sent the following line:
    buffer went read-only and nothing I tried would let me fix the
    error.  
 
-A. The proof process is waiting for more input, but Proof General
-   doesn't realise this and waits for a response.  You
-   should type something in the proof shell, or interrupt the process
-   with C-c C-c or the Stop button.
+A. The proof process is waiting for more input because of the missing
+   parenthesis, but Proof General doesn't realise this and waits for a
+   response.  You should type something in the proof shell, or
+   interrupt the process with C-c C-c or the Stop button.
 
 -----------------------------------------------------------------
 
-- 
cgit v1.2.3