Isabelle program name is just 'isabelle'

1 files changed, 1 insertions, 1 deletions

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)