[isabelle] settings to start emacs?



I want to switch my "Isabelle" to startup gnu emacs instead of xemacs.
How do I do it?

Randy






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