[isabelle-dev] NEWS: Update of Isabelle/jEdit to jedit-5.6pre1

[Makarius]

*** 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.


	Makarius