From 140b08af75134de26b05b5ff1ab7e32b0ca11984 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 28 Sep 2005 22:09:06 +0000
Subject: negotiate PGASCII only for proof-shell-unicode;

---
 isa/isabelle-system.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index aae22215..631e8908 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -152,7 +152,8 @@ ISABELLE will always override this setting."
 		  "isabelle"))		; to be really sure
        (isabelle-opts (getenv "ISABELLE_OPTIONS"))
        (opts (concat
-	      (if isa-running-isar " -m PGASCII -PI" "")
+	      (if isa-running-isar " -PI" "")
+	      (if (and proof-shell-unicode isa-running-isar) " -m PGASCII" "")
 	      (if (and isabelle-opts (not (equal isabelle-opts "")))
 		  (concat " " isabelle-opts) "")))
        (logic (or isabelle-chosen-logic
-- 
cgit v1.2.3