Re: [isabelle] (no subject)
Maybe it’s incompatible with the version of emacs on your machine.
Try reading this page: http://proofgeneral.inf.ed.ac.uk/download
You need GNU Emacs 23.3 or later.
On 15 Dec 2013, at 13:52, li yongjian <lyj238 at gmail.com> wrote:
> 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