From 2fd596600aad8e05ee3c5361fb97ae20914731d8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 30 Apr 2007 22:04:59 +0000
Subject: Make proof-shell-unicode non-nil by default

---
 generic/proof-config.el | 5 +++--
 1 file 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)
 
-- 
cgit v1.2.3