[isabelle-dev] [158c513a39f5] JVM crash

Makarius makarius at sketis.net
Sat Aug 19 21:05:55 CEST 2017


On 19/08/17 17:19, Lars Hupel wrote:
>> 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.

Can you say anything about the system? Hardware, OS etc.


	Makarius




More information about the isabelle-dev mailing list