[isabelle-dev] [158c513a39f5] JVM crash
eberlm at in.tum.de
Sat Aug 19 20:31:19 CEST 2017
> If you still have that, can you send it to me?
> Since the JVM crash happened during scalac compilation, I recommend to
> enforce a fresh build, e.g. like this:
That seems to have worked. The only output I got was this:
### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 68931 bytes
Desc: not available
More information about the isabelle-dev