[isabelle] xemacs and Isabelle 2008



Hi,

I recently upgraded my Isabelle installation to the latest (2008). I am running it on Mac OS 10.5. For some reason however running isabelle- interface no longer runs xemacs but instead runs emacs in my terminal window. I'm not sure how to change this. If anyone could tell me that would be nice.

Regards,

Ruben






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