[isabelle-dev] [158c513a39f5] JVM crash
makarius at sketis.net
Sat Aug 19 19:32:34 CEST 2017
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
If you still have that, can you send it to me?
More information about the isabelle-dev