[isabelle-dev] [158c513a39f5] JVM crash

[Manuel Eberl]

> If you still have that, can you send it to me?

Sure.

> 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 ...


Manuel
-------------- 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>