       (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))))))))
 

             program
	     (apply 'concat (loop for arg in program-args append (list " " arg)))
	     (if (boundp '*specware4-dir)
		 *specware4-dir
	       (getenv "SPECWARE4"))
	     ;slime-port
	     ))

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

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