diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-27 17:21:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-27 17:21:12 +0000 |
| commit | 52cd06a76615b67c114db85f21d611c4ff6a08da (patch) | |
| tree | 1aa28213780cd2b8e8dd2223cac4ef852c3ad507 /FAQ | |
| parent | a6b0ed24f844c2e5eacb2f5a7b5c2c6e2fa739ac (diff) | |
Updated.
Diffstat (limited to 'FAQ')
| -rw-r--r-- | FAQ | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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. ----------------------------------------------------------------- |