alt Hacker NewsLast I checked, Isabelle/HOL used a custom Emacs mode as their interface. (I could be mixing it up with one of the other HOLs).
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).
The current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.