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.

Larry Paulson


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