diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:32:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:32:18 +0000 |
commit | 24d43a0992b25100a8ee23ded71e72dbfc9dc940 (patch) | |
tree | a38d50ad0890c7cc9562124a271eaa5ebdca84f4 /isa/isa.el | |
parent | 13cd8eac3946221fdb51d4cb6749eac2af82555b (diff) |
Isabelle program name is just 'isabelle'
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) |