From ff6c61ceea742126b5b587c3080468670f17630f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Jul 2008 18:47:49 +0000
Subject: Use proof-guess-command-line to adjust command line when starting
 Isabelle.

---
 isar/isar.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index 5a508b56..e3ac984c 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -81,9 +81,11 @@ See -k option for Isabelle interface script."
 
 (defun isar-mode-config-set-variables ()
   "Configure generic proof scripting mode variables for Isabelle/Isar."
-  (isabelle-set-prog-name)		; sets proof-prog-name
   (setq
    proof-assistant-home-page    isar-web-page
+   proof-guess-command-line     'isabelle-set-prog-name
+   proof-prog-name-guess	t
+
    ;; proof script syntax
    proof-terminal-char          ?\;     ; forcibly ends a command
    proof-script-command-start-regexp
-- 
cgit v1.2.3