From 8d4c6c65c0f84d84aabf426dd879076103849de0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 7 Aug 2002 12:30:17 +0000 Subject: Added proof-shell-strip-crs-from-output --- FAQ | 9 +++++++++ 1 file changed, 9 insertions(+) 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$ -- cgit v1.2.3