diff options
-rw-r--r-- | isar/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index a7a868f6..2998bc33 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -67,7 +67,7 @@ is surely an executable with full path." (when (and (not noninteractive) (not proof-rsh-command) (or force - (not isabelle-not-found) + isabelle-not-found (not (file-executable-p isa-isabelle-command)))) (setq isa-isabelle-command (read-file-name |