[isabelle] Refinement Framework exceeds resources ?

Supposed my computer (attached Screenshot-mycomputer.png) would be
sufficient for Isabelle.

But loading "The Imperative Refinement Framework" gets stuck with a last
movement of the red progress bar in "Multiset", see attached

Am I out of resources ?


Attachment: Screenshot-mycomputer.png
Description: PNG image

Attachment: Screenshot-afp-refine.png
Description: PNG image

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