Re: [isabelle] Unable to allocate immutable area (polyml-5.0).



On Tue, 7 Aug 2007, Dominic Mulligan wrote:

> can anyone shed any light on the origin of the "unable to allocate 
> immutable area" error, and what can be done to fix it?

This sounds like a genuine problem of Poly/ML on your particular platform, 
although 5.0 usually works quite well on a large number of systems.

Maybe you should ask on the polyml mailing list.


	Makarius






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