diff options
Diffstat (limited to 'isa/isa.el')
-rw-r--r-- | isa/isa.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |