On 19/08/17 17:16, Manuel Eberl wrote: > > on 158c513a39f5, I just had a JVM crash during "isabelle build" when it > was building Isabelle/Scala.
Since the JVM crash happened during scalac compilation, I recommend to enforce a fresh build, e.g. like this: isabelle jedit -b -f > Log attached This refers to a separate log file /home/manuel/hg/afp-devel/hs_err_pid13339.log If you still have that, can you send it to me? Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev