Re: [isabelle] help



jwang whu.edu.cn (jwang) wrote:
>     When Isabelle was run , the error
> -"/usr/local/ProofGeneral/generic/proof-autoloads.elc was not compiled
> in Emacs "was show.Why is it? 
> 

The easiest thing is probably just to remove all the compiled lisp files
(the .elc files). The reason is probably that the lisp files have been
compiled for xemacs.

lucas





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