*** 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. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev