[isabelle-dev] [158c513a39f5] JVM crash

Lars Hupel hupel at in.tum.de
Sat Aug 19 17:19:20 CEST 2017

> on 158c513a39f5, I just had a JVM crash during "isabelle build" when it
> was building Isabelle/Scala. (Log attached).

I had a similar problem today. Unfortunately I didn't save the logfile.


More information about the isabelle-dev mailing list