4 ms·The current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.by c0balt 5mo agoThe current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.