[isabelle-dev] Update of jdk and jedit components
makarius at sketis.net
Fri Oct 23 23:22:59 CEST 2015
In Isabelle/d40f906bb13f there is now jdk-8u66 and jedit-5.3.0. There are
relatively few changes from upstream; this is mainly consolidation.
As we are slowly approaching the pre-release mode, it is important to keep
an eye an all the fine points on all platforms. Does Java 8 really work
as it should?
Here is a full integration test of the application bundles for Linux,
Windows, Windows 64, Mac OS X:
Various details of the "app" have changed in the past few weeks, so it is
important to take a look if it conforms to the principle of monotonic
improvements that we've had in Isabelle for almost 30 years.
For example, all platforms now uniformly support a single-instance model
of the main desktop application.
More information about the isabelle-dev