Re: [isabelle] Isabelle + Polyml 4.20 + IntelMac + CVS Snapshot



I am wondering, did you address the signaling issue David Matthews talked about? If not, then this could be an explanation why you run out of memory too soon (because garbage collection does not kick in when it should).

Steven





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