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