diff options
Diffstat (limited to 'isar/isabelle-system.el')
-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 a370654e..3eb029f4 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -71,7 +71,7 @@ is surely an executable with full path." (not (file-executable-p isa-isabelle-command)))) (setq isa-isabelle-command (read-file-name - "Please give the full path to `isabelle' (RET if you don't have it): " + "Full path to `isabelle' command (anything non-executable if you don't have it): " nil nil nil)) (unless (file-executable-p isa-isabelle-command) (setq isabelle-not-found t) |