diff options
| -rw-r--r-- | isar/isabelle-system.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index fb7e4f80..46492eac 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -79,7 +79,8 @@ remain unverified. Returns non-nil if isa-isatool-command is surely an executable with full path." (interactive) - (unless (or proof-rsh-command + (unless (or noninteractive + proof-rsh-command isatool-not-found (file-executable-p isa-isatool-command)) (setq isa-isatool-command |