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

---
 FAQ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FAQ b/FAQ
index 51d6510d..17d22ea7 100644
--- a/FAQ
+++ b/FAQ
@@ -319,7 +319,7 @@ A15. Coq has a limited history for Undo.  Change
 
 	Coq -> Settings -> Undo Depth
 
-     to something higher.  
+     to something higher.  Default is 200 (100 outside PG).
 
 
 -----------------------------------------------------------------
-- 
cgit v1.2.3