From cc4ba5ced2332a81b866a15876f2f5cabd21aace Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 22 Sep 2005 08:14:14 +0000
Subject: Updated.

---
 isa/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 15ff8883..aae22215 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -82,7 +82,7 @@ with full path."
 	(progn
 	  (setq isatool-not-found t)
 	  (beep)
-	  (warn "Proof General: isatool command not found; some menus will be incomplete and Isabelle may not run correctly."))))
+	  (warn "Proof General: isatool command not found; some menus will be incomplete and Isabelle may not run correctly.  Please check your Isabelle installation."))))
   (file-executable-p isa-isatool-command))
 
 (defun isa-shell-command-to-string (command)
-- 
cgit v1.2.3