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.