[isabelle-dev] NEWS: Update of Isabelle/jEdit to jedit-5.6pre1
makarius at sketis.net
Thu Jun 11 15:00:19 CEST 2020
*** 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.
The jEdit guys are about to release 5.6 after a rather long time. We now have
an opportunity to test it, and provide feedback on time.
More information about the isabelle-dev