--- /tmp/isabelle-system.el	2006-11-02 21:09:59.000000000 +0100
+++ isa/isabelle-system.el	2006-11-02 21:10:36.000000000 +0100
@@ -64,26 +64,6 @@
 (defvar isatool-not-found nil
   "Non-nil if user has been prompted for `isatool' already and it wasn't found.")
 
-(defun isa-set-isatool-command ()
-  "Make sure isa-isatool-command points to a valid executable.
-If it does not, prompt the user for the proper setting.
-If it appears we're running on win32 or FSF Emacs, we allow this to
-remain unverified.
-Returns non-nil if isa-isatool-command is surely an executable
-with full path."
-  (interactive)
-  (unless (or isatool-not-found (file-executable-p isa-isatool-command))
-    (setq isa-isatool-command
-	  (read-file-name
-	   "Please give the full path to `isatool' (RET if you don't have it): "
-	   nil nil nil))
-    (if (not (file-executable-p isa-isatool-command))
-	(progn
-	  (setq isatool-not-found t)
-	  (beep)
-	  (warn "Proof General: isatool command not found; some menus will be incomplete."))))
-  (file-executable-p isa-isatool-command))
-
 (defun isa-shell-command-to-string (command)
   "Like shell-command-to-string except the last character is stripped."
   ;; FIXME: sometimes the command may fail. This will usually cause PG