diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 17:51:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 17:51:54 +0000 |
| commit | 7569886ed671277fccb04b7652367cffdf6e8d3a (patch) | |
| tree | b13a541cfd0b1d47a4b4db42de08cc3ebf8eaba1 | |
| parent | 809575dab5c9ee693e2346ac1550325ad5c6c012 (diff) | |
Revert "logic" fix.
| -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 |