diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2015-03-11 15:21:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2015-03-11 15:21:31 +0000 |
commit | dd4a069c08eed47eaa825200e07e0a8adb055c45 (patch) | |
tree | e6f4ab7a45ba942b5f0b5f5351e8af7b43b0fb5a /isar | |
parent | 8911d03e7e7b884e550d50525fdf0f3d80050afe (diff) |
Summary: Build in default path for Isabelle2014 Mac package
Diffstat (limited to 'isar')
-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 |