From 24d43a0992b25100a8ee23ded71e72dbfc9dc940 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 20 Oct 1998 10:32:18 +0000
Subject: Isabelle program name is just 'isabelle'

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

(limited to 'isa/isa.el')

diff --git a/isa/isa.el b/isa/isa.el
index dfeb1dfa..d40247f6 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -19,7 +19,7 @@
 ;;; ======== User settings for Isabelle ========
 ;;;
 
-(defcustom isabelle-prog-name "/usr/lib/Isabelle98/bin/isabelle"
+(defcustom isabelle-prog-name "isabelle"
   "*Name of program to run Isabelle."
   :type 'file
   :group 'isabelle)
-- 
cgit v1.2.3