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