Added proof-shell-strip-crs-from-output

1 files changed, 9 insertions, 0 deletions

diff --git a/FAQ b/FAQ
index 6d31b8fd..b41888ae 100644
--- a/FAQ
+++ b/FAQ
@@ -145,5 +145,14 @@ A. Of course, email "proofgeneral-request@informatics.ed.ac.uk"
 
 -----------------------------------------------------------------
 
+
+Q. I see spurious ^M characters at the end of lines in the 
+   windows showing output from the prover.  How can I remove
+   them?
+
+A. Customize the value of `proof-shell-strip-crs-from-output'.
+
+-----------------------------------------------------------------
+
 $Id$