[isabelle-dev] scala-2.12.2

Lars Hupel hupel at in.tum.de
Tue Jun 13 12:29:20 CEST 2017


> I've just pushed the inverse patch of 94b0da1b242e to testboard, so
> we'll see.
> 
> <https://ci.isabelle.systems/jenkins/job/testboard/376/>

HOL-Codegenerator_Test runs fine (0:14:41 elapsed time).

Cheers
Lars



More information about the isabelle-dev mailing list