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

Reply via email to