From 19d8306f9dab9d2d7a5cc8067a9bdaef8e1e2067 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 21 May 2002 14:30:39 +0000 Subject: Mistake in function name (Norbert Voelker ) --- isa/isabelle-system.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.2.3