[isabelle] Report of another crash



Dear Isabelle Maintainers,
While trying to build my theories in jedit, atop JinjaThreads and List-Infinite from the most recent AFP, on a MacBook Pro (circa Sept 2014) with a 2.8 GHz Intel Core i7 and 16 GB memory, I received the following error message:

Welcome to Isabelle/HOL (Isabelle2014: August 2014)
Run out of store - interrupting threads

Run out of store - interrupting threads

Failed to recover - exiting

message_output terminated
rmdir: /tmp/isabelle-elsa74285: No such file or directory

standard_error terminated
standard_output terminated
process terminated
command_input terminated
process_manager terminated
Return code: 1
---Elsa




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.