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