diff options
| -rw-r--r-- | isa/isabelle-system.el | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index d294f9ed..5f513e5c 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -40,12 +40,13 @@ (proof-locate-executable "isatool") ;; FIXME: use same mechanism as isabelle-program-name below. (let ((possibilities - '("/usr/bin/isatool" - "/usr/share/Isabelle/bin/isatool" - "/usr/local/bin/isatool" - "/usr/local/Isabelle/bin/isatool" - "/opt/bin/isatool" - "/opt/Isabelle/bin/isatool"))) + (list + (concat (getenv "HOME") "/Isabelle/bin/isatool") + "/usr/share/Isabelle/bin/isatool" + "/usr/local/bin/isatool" + "/usr/local/Isabelle/bin/isatool" + "/opt/bin/isatool" + "/opt/Isabelle/bin/isatool"))) (while (and possibilities (not (file-executable-p (car possibilities)))) |