[isabelle-dev] NEWS: jedit-5.5.0

Makarius makarius at sketis.net
Tue Apr 17 16:08:21 CEST 2018

*** Isabelle/jEdit Prover IDE ***

* Update to jedit-5.5.0, the latest release.

This refers to Isabelle/752a4e6d760c. Relatively little has happened,
but there are some preparations for Java 9. We are still on Java 8, even
though Java 10 has been released recently. I will soon make some
experiments to see if we can bump the Java version.

A notably change in jedit-5.5.0 is the patch by Rafal Kolanski:
https://www.sourceforge.net/p/jedit/patches/569/ -- it has only required
2.5 years to get into the code base.


More information about the isabelle-dev mailing list