Re: [isabelle] Isabelle Installation
On Fri, 31 Aug 2007, JanuGerman wrote:
> I think so, it is a compatibilty problem with XEmacs, Would you kindly
> suggest me a compatible version, of XEMACS, or some installation steps
> in this regard.
This depends on your OS platform. Usually a self-compile of the stable
branch of xemacs works (using mule and sumo).
You may also try GNU emacs, by telling Isabelle about it via option -p of
the interface script, or setting PROOF_GENERAL_OPTIONS in etc/settings.
This archive was generated by a fusion of
Pipermail (Mailman edition) and