makarius at sketis.net
Wed Apr 16 21:10:10 CEST 2014
Oracle has released a major pack of "Critical Patch Updates" for many
products, including Java 8. This means there is nothing to see there,
except for people running application servers, or still using applets.
Since the jdk-8 "zero" release from a few weeks ago work generally well on
all platforms, I have now updated the Isabelle component to follow Oracle:
The normal "isabelle components -a" should pull in a tar.gz of 500MB which
unpacks to approx. 1GB local disk space (as usual for all platforms
People who don't use bisection within the Isabelle repository may want to
delete some unused material in $ISABELLE_HOME_USER/contrib -- potentially
keeping just the .tar.gz files.
This is also an opportunity to check that there is not any left-over
ISABELLE_JDK_HOME assignment in $ISABELLE_HOME_USER/etc/settings that
prevents moving to the official jdk from Admin/components/main.
As we are leaving Java 7 behind, there might be actual dependencies on
Java 8 functionality emerging, although I did not look systematically yet.
By accident I've come accross a version of lazy functional streams --
Welcome Java to the Club with several decades delay.
More information about the isabelle-dev