diff options
| author | David Aspinall | 2007-04-30 22:04:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-04-30 22:04:59 +0000 |
| commit | 2fd596600aad8e05ee3c5361fb97ae20914731d8 (patch) | |
| tree | ef488e1c4db4fdee8e8875ed66bd983cb028a32c | |
| parent | 552108abaa8c1ffb78319398e10b058485f57a31 (diff) | |
Make proof-shell-unicode non-nil by default
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 65f2df34..ddcc8cf2 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2177,10 +2177,11 @@ response buffer." ;; 5c. hooks and other miscellaneous customizations ;; -(defcustom proof-shell-unicode nil +(defcustom proof-shell-unicode t + ;; true by default for PG 3.7; set to nil for old systems "Tell whether communication between Proof General and the prover process is 8bit clean, without using any special non-ASCII characters. -If so, the process coding system will be set to utf-8." +If so, the process coding system will be set to UTF-8." :type 'boolean :group 'proof-shell) |