Hacker News new | ask | show | jobs
by c0balt 57 days ago
The current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.