diff options
-rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |