[isabelle-dev] Java 7 update 6

Lawrence Paulson lp15 at cam.ac.uk
Thu Aug 16 18:57:24 CEST 2012


That is indeed good news. Would it be appropriate to advise users to upgrade, is there are no immediate need?
Larry

On 16 Aug 2012, at 16:39, Makarius wrote:

> Oracle has released the important Java 7u6 yesterday, see also http://www.oracle.com/us/corporate/press/1735645
> 
> It means much more uniformity of the 3 plaform families: Linux, Mac OS X, Windows. For example, Mac OS X users now get the IsabelleTextBold font by default without modifying the local system.  It also means that Chinese glyphs are *unavailable* in a uniform manner, because Apple's unofficial glyph substitution for the JVM is no longer used.
> 
> I generally expect thing to become better, since problems show up more uniformly and can be addressed more easily.
> 
> Isabelle/b19ba23e70c5 already uses jdk-7u6 together with jedit_build-20120813.  This is a mandatory update of components, although just plain Isabelle/Scala (e.g. isabelle build) still happens to work with JDK 1.6 if that happens to be used by a side-entry.
> 
> 
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list