I need to use Isabelle2008 for a particular project. I'd prefer to use
xemacs, assuming it was still supported for this version of Isabelle.
Which versions of xemacs and ProofGeneral work best on Isabelle2008?
This archive was generated by a fusion of
Pipermail (Mailman edition) and