diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-07 12:29:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-07 12:29:59 +0000 |
| commit | 201d2c34ad3c7a10f4d3a46f08035da6e0a4b925 (patch) | |
| tree | fd29e38b9d4329a4d20d2e64792833f28816d299 /generic | |
| parent | bd1f43fddbf943d5a80e4c58d5f789759910b077 (diff) | |
Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to cygwin32.
Diffstat (limited to 'generic')
| -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) |