diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 18:33:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 18:33:33 +0000 |
| commit | 99e083e81666aeab6115a7bac3b3a8ca39477339 (patch) | |
| tree | fca1cbc49094658f96ede006aa86a10488646b2f /isar/isabelle-system.el | |
| parent | 46eeb2bec5b92bfe256522a8b4e056a652150a7c (diff) | |
More sensible message for file dialog
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) |