alt
Hacker News
c0balt
•
yesterday at 8:09 PM
•
0 replies
•
view on HN
The current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.
alt Hacker News