From dd4a069c08eed47eaa825200e07e0a8adb055c45 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 11 Mar 2015 15:21:31 +0000 Subject: Summary: Build in default path for Isabelle2014 Mac package --- isar/isabelle-system.el | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'isar') 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 -- cgit v1.2.3