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