From 201d2c34ad3c7a10f4d3a46f08035da6e0a4b925 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Aug 2002 12:29:59 +0000
Subject: Default for proof-shell-strip-crs-from-output altered for Norbert
 Voelker to cygwin32.

---
 generic/proof-config.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index ee8015d6..f612953b 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1996,9 +1996,11 @@ up the display (or even worse, the synchronization)."
   :type 'boolean
   :group 'proof-shell)
   
-(defcustom proof-shell-strip-crs-from-output t ;; proof-running-on-win32
+(defcustom proof-shell-strip-crs-from-output (eq system-type 'cygwin32)
+  ;; Cygwin32 probs with Isabelle noted by Norbert Voelker
   "If non-nil, remove carriage returns (^M) at the end of lines from output.
-This is enabled for Win32 systems by default."
+This is enabled for cygwin32 systems by default.  You should turn it off
+if you don't need it (slight speed penalty)."
   :type 'boolean
   :group 'proof-shell)
 
-- 
cgit v1.2.3