diff options
author | 2002-05-21 14:30:39 +0000 | |
---|---|---|
committer | 2002-05-21 14:30:39 +0000 | |
commit | 19d8306f9dab9d2d7a5cc8067a9bdaef8e1e2067 (patch) | |
tree | 7386088e4e20744f0f499442c78d1a5e1ca11176 /isa | |
parent | 47454c31a08efecf6cb3d6ac30347235f08fdc81 (diff) |
Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)
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 01d98767..d0b2e581 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -74,7 +74,7 @@ with full path." nil nil t))) (if (and proof-running-on-win32 (not (file-executable-p isa-isatool-command))) - (warning "Proof General: isatool command not found; ignored because Win32 system detected.")) + (warn "Proof General: isatool command not found; ignored because Win32 system detected.")) (file-executable-p isa-isatool-command)) (defun isa-shell-command-to-string (command) |