[isabelle-dev] [158c513a39f5] JVM crash

Manuel Eberl 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...
Name: hs_err_pid13339.log
Type: text/x-log
Size: 68931 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170819/272c1831/attachment-0002.bin>

More information about the isabelle-dev mailing list