[isabelle] Isabelle2008



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?

Thanks,
-john






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.