diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-09-22 08:14:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-09-22 08:14:14 +0000 |
| commit | cc4ba5ced2332a81b866a15876f2f5cabd21aace (patch) | |
| tree | f943f14b4aeb374ccfed7e550f1820cd8400069b /isa/isabelle-system.el | |
| parent | 5d809a6629cd3bd64c780630f15d4e8c2d3cc925 (diff) | |
Updated.
Diffstat (limited to 'isa/isabelle-system.el')
| -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 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) |