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.


	Makarius






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