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

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

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 56548bd5..15ff8883 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."))))
+	  (warn "Proof General: isatool command not found; some menus will be incomplete and Isabelle may not run correctly."))))
   (file-executable-p isa-isatool-command))
 
 (defun isa-shell-command-to-string (command)
-- 
cgit v1.2.3