From 6289242baa74267064cfde04f6a95565eceed171 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 8 Jul 2000 14:28:48 +0000
Subject: proof-prog-name: use isabelle-command-line;

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

diff --git a/isa/isa.el b/isa/isa.el
index 48418438..642dcc13 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -543,7 +543,7 @@ you will be asked to retract the file or process the remainder of it."
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (defun isa-pre-shell-start ()
-  (setq proof-prog-name		isabelle-prog-name)
+  (setq proof-prog-name		(isabelle-command-line))
   (setq proof-mode-for-shell    'isa-shell-mode)
   (setq proof-mode-for-goals	'isa-goals-mode)
   (setq proof-mode-for-response 'isa-response-mode))
-- 
cgit v1.2.3