Re: [isabelle] Isabelle2005 proof terms
On Mon, 16 Jan 2006, Christoph Lüth wrote:
> if I try to build Isabelle2005 with proof objects under Poly/ML 4.2.0,
> it fails with
> No more room for pages in database. Try running discgarb.
> Strangely. the repository version builds fine with Poly/ML-4.2.0...
What exactly is your OS/HW platform? Maybe we should report this also to
polyml-devel, or David Matthews directly.
This archive was generated by a fusion of
Pipermail (Mailman edition) and