*** 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.
isabelle-dev mailing list