This is already old news, and in fact a running gag for several years
already: Java 8 is again delayed by 6 more months at least, as explained
here http://mreinhold.org/blog/hold-the-train -- see also
http://openjdk.java.net/projects/jdk8/ for the current milestone
situation.
Java 8 might (or might not) become available early 2014.
Java 6 was officially declared dead in Feb 2013.
Java 7 is here right now, but needs to be taken "as is". Oracle is mainly
working on security problems (for applets or application servers). I will
make some more efforts to work around the many GUI and platform problems
of Java 7 as we see it today, it is unlikely to change much anytime soon.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
