5 ms·
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).
by vintermann 6mo ago
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 6mo agoThe current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.