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

Makarius 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 mailing list