[isabelle] (no subject)

Dear experts:
   I download the latest version of Isabelle, and
   I use the emacs interface of Isabelle, and type the following command:
isabelle emacs&

but I meet such a problem as follows:
How to solve it, can Isabelle support the calssical Emacs interface?


Loading /usr/share/emacs/site-lisp/site-start.d/focus-init.el
Loading /usr/share/emacs/site-lisp/site-start.d/php-mode-init.el
Loading /usr/share/emacs/site-lisp/site-start.d/po-mode-init.el
Loading /usr/share/emacs/site-lisp/site-start.d/rpm-spec-mode-init.el
For information about GNU Emacs and the GNU system, type C-h C-a.
Scratch.thy has auto save data; consider M-x recover-this-file
Loading /home/lyj/Isabelle2013-2/contrib/ProofGeneral-4.2/isar/isar.el
File mode specification error: (wrong-number-of-arguments
called-interactively-p 1)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.