[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?

regards!


Loading /usr/share/emacs/site-lisp/site-start.d/focus-init.el
(source)...done
Loading /usr/share/emacs/site-lisp/site-start.d/php-mode-init.el
(source)...done
Loading /usr/share/emacs/site-lisp/site-start.d/po-mode-init.el
(source)...done
Loading /usr/share/emacs/site-lisp/site-start.d/rpm-spec-mode-init.el
(source)...done
For information about GNU Emacs and the GNU system, type C-h C-a.
Loading
/home/lyj/Isabelle2013-2/contrib/ProofGeneral-4.2/generic/proof-site.el
(source)...done
Scratch.thy has auto save data; consider M-x recover-this-file
Loading /home/lyj/Isabelle2013-2/contrib/ProofGeneral-4.2/isar/isar.el
(source)...
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.