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

Reply via email to