added proof-shell-unicode;

1 files changed, 8 insertions, 4 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index c644cccf..55ec2c00 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1715,10 +1715,6 @@ Normally error messages cause a beep.  Set this to nil to prevent that."
 ;; (defcustom  proof-shell-adjust-line-width-cmd nil
 
 
-
-
-
-
 ;;
 ;; 5b. Regexp variables for matching output from proof process.
 ;;
@@ -2143,10 +2139,18 @@ response buffer."
   :type '(choice nil regexp)
   :group 'proof-shell)
 
+
 ;;
 ;; 5c. hooks and other miscellaneous customizations
 ;;
 
+(defcustom proof-shell-unicode nil
+  "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."
+  :type 'boolean
+  :group 'proof-shell)
+
 (defcustom proof-shell-filename-escapes nil
   "A list of escapes that are applied to %s for filenames.
 A list of cons cells, car of which is string to be replaced