From b29a6caf7dcd7001c48883043f1a5eae1c472b78 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 1 Dec 2000 18:46:20 +0000
Subject: isabelle-command-line: getenv "ISABELLE_OPTIONS";

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

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 5bbc5df1..d3cc2596 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -139,7 +139,11 @@ ISABELLE will always override this setting."
 		  (getenv "ISABELLE")	; overrides default, may be updated
 		  isabelle-program-name ; calculated earlier
 		  "isabelle"))		; to be really sure
-       (opts (if isa-running-isar " -PI" ""))
+       (isabelle-opts (getenv "ISABELLE_OPTIONS"))
+       (opts (concat
+	      (if isa-running-isar " -PI" "")
+	      (if (and isabelle-opts (not (equal isabelle-opts "")))
+		  (concat " " isabelle-opts) "")))
        (logic (or isabelle-chosen-logic
 		  (getenv "PROOFGENERAL_LOGIC")))
        (logicarg (if (and logic (not (equal logic "")))
-- 
cgit v1.2.3