Re: [isabelle] Problem with Leopard and XEmacs
My last attempt to use Isabelle on a Mac (CVS snapshot of Isabelle, 2
weeks ago) resulted in me being happiest with Carbon Emacs (thanks to
David Aspinall for the suggestion), so I'd recommend that - it's a mac
native package, and you can install proof general for it easily (see
proof general webpage).
Does it support X-Symbol? There were some issues with X-Symbol not
being supported by some / all (?) of the native ports
(Aquamacs, ...), but I did not investigate too closely.
This archive was generated by a fusion of
Pipermail (Mailman edition) and