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.


	Makarius






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