3 ms·
The Isabelle Proof Assistant[1] uses JEdit as its IDE. Just thought it is worth mentioning. [1]: https://isabelle.in.tum.de/ https://isabelle.in.tum.de/
by vrotaru 5y ago
The Isabelle Proof Assistant[1] uses JEdit as its IDE. Just thought it is worth mentioning.
[1]: https://isabelle.in.tum.de/ https://isabelle.in.tum.de/
- vintermann 5y agoThere is an emacs mode/plugin called Proof General which almost all Proof Assistant can use (and some practically require). That was a barrier to entry, certainly, getting used to emacs editing conventions. So I'm not surprised a jEdit alternative came about. For many years, jEdit was by far the best emacs alternative with modern CUA conventions (these days, I got to admit VSCode is hard to beat).