Re: [isabelle] Getting Isabelle Running with Xemacs

I compile XEmacs using Fink, see

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.


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.