diff options
Diffstat (limited to 'isar/isabelle-system.el')
| -rw-r--r-- | isar/isabelle-system.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 9e2c64fc..5352043d 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -49,7 +49,10 @@ (proof-locate-executable "isabelle" nil (list ;; support default unpack in home dir situation - (concat (getenv "HOME") "/Isabelle/bin/"))) + (concat (getenv "HOME") "/Isabelle/bin/") + ;; or Mac Package for Isabelle2014 + "/Applications/Isabelle2014.app/Isabelle/bin/" + )) "path_to_isabelle_is_unknown") "Command to invoke the main Isabelle wrapper 'isabelle'. Emacs should be able to find `isabelle' if it is on the PATH when |