[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
Screenshot-aft-refine.png.

Am I out of resources ?

Walther

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.