← Back to context

Comment by c0balt

15 hours ago

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

0 comments

c0balt

Reply

No comments yet

Contribute on Hacker News ↗