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



Seems to be you are right.
The problems came from polyml.

I have now set up Isabelle SML-NJ on my IntelMac and it is working now.
If anyone need help setting up Isabelle with SML-NJ on IntelMac , he can ask me.

Martin


Am 30.06.2006 um 12:20 schrieb Steven Obua:

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.