On Tue, 15 Sep 2015, Rafal Kolanski wrote:
The patched jedit code base will be updated again for the coming
release of 5.3.0, which should appear *really*soon*now*. It will be
the first jEdit release with proper 4K display support!
Well, I hope they have time take a peek at some of the patches sitting
in the queue before then...
Right now I hope the jEdit guys will finally release the "Spring 2015"
version before the winter comes on the northern hemisphere.
jEdit 5.3.0 was planned to appear early June 2015. This summer I added
various things on top of the repository version, expecting it to be
post-release material, but they actually started picking it up after a few
weeks and added most of it to the release branch. This caused further
delays.
My priority at the moment is to see a release of jEdit, before we enter
the critical release phase for Isabelle2016 -- presumably at the start of
the Winter season here in the north.
Once it is there, I will update the jedit_build component accordingly.
Then we have a brief window of opportunity to add some small patches on
top of the standard jEdit code base as part of the Isabelle distribution.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
