[vintermann]

Last I checked, Isabelle/HOL used a custom Emacs mode as their interface. (I could be mixing it up with one of the other HOLs).

[c0balt]

The current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.