1 files changed, 1 insertions, 1 deletions
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).
 
 
 -----------------------------------------------------------------