Re: [isabelle] Getting Isabelle Running with Xemacs



I compile XEmacs using Fink, see http://fink.sourceforge.net/

Just install the packages "xemacs" and "xemacs-sumo-pkg". It isn't difficult using the GUI, FinkCommander.

From time to time I have had big problems with XEmacs, but it has been OK for me in the past year or two.

Larry


On 26 Oct 2006, at 14:57, Elsa L Gunter wrote:

If you do get Isabelle working with XEmacs, I would be interested in the details.






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