diff options
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files 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) |