From f255d4fecb737a56c9c8c5a59985449ed0e864ca Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 14 Sep 2005 19:11:47 +0000
Subject: added -m PGASCII for Isabelle/Isar process;

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

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