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.
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