On 15/05/17 14:33, Makarius wrote:
> On 15/05/17 12:14, Makarius wrote:
>> Some results can be seen here:
>>
>> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux/index.html
>> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux_2_threads/index.html
>>
>> The test hardware
With Isabelle/300beacd9875 we are on jdk-8u131, which was released by
Oracle some weeks ago. This is a minor update; see also:
http://www.oracle.com/technetwork/java/javase/8u131-relnotes-3565278.html
http://www.oracle.com/technetwork/java/javase/2col/8u131-bugfixes-3565760.html
With Isabelle/a43a079156a6 we are on scala-2.12.2, leaving the 2.11.x
behind.
This is a major update, in particular it makes better use of the
underlying Java 8 platform.
Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de