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.


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).


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