Updated.

2 files changed, 4 insertions, 8 deletions

diff --git a/TODO b/TODO
index b438df45..52d8132f 100644
--- a/TODO
+++ b/TODO
@@ -2,10 +2,8 @@ This is our brief list of planned things to do to Proof General.
 
 $Id$
 
-See also the Proof General projects page on the web, under the
-development section of the home page.  Also, see the appendix "Plans
-and Ideas" in the manual, and for low-level detail, the file "todo" in
-the developer release.
+See also the Proof General development page on the web.  Also, for
+low-level (possibly obsolete) detail, see the file TODO.developer.
 
 Please send any suggestions, comments, or offers of help to
 da+pg-feedback@inf.ed.ac.uk.  Thanks!
@@ -15,7 +13,7 @@ Plans for upcoming versions
 ---------------------------
 
 * Implement support for PG Kit.  Support PGIP provers fully, with/without 
-  mediator.   (See http://proofgeneral.inf.ed.ac.uk/kit).
+  broker.   (See http://proofgeneral.inf.ed.ac.uk/kit).
 
 * Use CEDET Emacs framework for development tools, to allow more
   powerful parsing of proof scripts and features arising from that.  
@@ -32,6 +30,4 @@ Plans for upcoming versions
 
 * Support more proof assistants.  Add more example proofs.
 
-* Make an XEmacs package
-
 
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)