From 99e083e81666aeab6115a7bac3b3a8ca39477339 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 5 Sep 2009 18:33:33 +0000 Subject: More sensible message for file dialog --- isar/isabelle-system.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar/isabelle-system.el') 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) -- cgit v1.2.3