From 36b9f1275d333e4c0fcce3072847107c6d394183 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 12:43:00 +0000
Subject: Add item for #204

---
 FAQ | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index c27f8094..51d6510d 100644
--- a/FAQ
+++ b/FAQ
@@ -309,12 +309,25 @@ Q14. I see spurious ^M characters at the end of lines in the
 A14. Customize the value of `proof-shell-strip-crs-from-output'.
 
 
+
+-----------------------------------------------------------------
+
+Q15. Undo behaviour in Coq seems to stop working with very long
+     sequences of commands.
+
+A15. Coq has a limited history for Undo.  Change 
+
+	Coq -> Settings -> Undo Depth
+
+     to something higher.  
+
+
 -----------------------------------------------------------------
 
 
-Q15. Can I join any mailing lists for Proof General?
+Q16. Can I join any mailing lists for Proof General?
 
-A15. Of course, email "proofgeneral-request@informatics.ed.ac.uk" 
+A16. Of course, email "proofgeneral-request@informatics.ed.ac.uk" 
      with the line "subscribe" in the message body, to join the
      users' and announcements list.
 
-- 
cgit v1.2.3