Philip Clayton wrote:
I have rebuilt ProofPower using this file and the times to start up are back to normal. I've set a build going to test the 150MB databases but won't know the outcome until tomorrow. This is looking good so far...
Good. I've committed that change. It looks like it has solved this problem without the difficulty of overestimating the size that I was trying to avoid. With the experimental IDE we build up very long chains of saved states, with the Poly/ML compiler which is a comparatively small project the chain is over 90 long, so overestimating the size can result in running out of memory.
David