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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev