Re: [isabelle] Getting Isabelle Running with Xemacs
I use ProofGeneral, XEmacs, and Isabelle all the time. I get XEmacs
from MacPorts (formerly DarwinPorts), make sure you install the sumo
and mule variants. If you've already got MacPorts installed then all
you need to do is issue the following:
sudo port selfupdate
sudo port sync
sudo port install xemacs +sumo +mule
You need the sync step because mule support was only recently added.
See the MacPorts site http://www.macports.org/ for more information
BTW, you need to unpack ProofGeneral in the same directory as
Isabelle. My /usr/local looks like this:
On Oct 27, 2006, at 5:06 AM, Lawrence Paulson wrote:
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