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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and