       (setq header-line-format banner))
     (when animantep
       (pop-to-buffer (current-buffer))
-      (animate-string (format "; SLIME %s" (or (slime-changelog-date) 
-                                               "- ChangeLog file not found"))
-                      0 0))
+      (funcall 'animate-string
+	       (format "; SLIME %s" (or (slime-changelog-date) 
+					"- ChangeLog file not found"))
+	       0 0))
     (slime-repl-insert-prompt (cond (use-header-p `(:suppress-output))
                                     (t `(:values (,(concat "; " banner))))))))
 

		    "Menu used in Specware buffer."
		    specware-interaction-menu)
  (easy-menu-add specware-interaction-buffer-menu m))

(add-specware-listener-key-bindings specware-listener-mode-map)


(slime-define-keys specware-listener-mode-map
  ("\C-m" 'sw-return)

  (when specware-use-x-symbol
    (x-symbol-mode))
  (setq slime-words-of-encouragement
	'("Welcome to Specware!"))
  (add-specware-listener-key-bindings specware-listener-mode-map))

(add-hook 'specware-listener-mode-hook
	  'specware-listener-mode-init)
