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 for more information on MacPorts.

BTW, you need to unpack ProofGeneral in the same directory as Isabelle. My /usr/local looks like this:

- John

On Oct 27, 2006, at 5:06 AM, Lawrence Paulson wrote:

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.