Phame Blogs Isabelle NEWS J13
Update of Isabelle/jEdit to jedit-5.6pre1
Isabelle/jEdit Prover IDE
- Update to jedit-5.6pre1, the latest pre-release. This version works properly on macOS by default, without the special MacOSX plugin.
This refers to Isabelle/aec0f7b58cc6.
Written by makarius on Jun 11 2020, 2:57 PM.