On 21/02/17 13:48, David Matthews wrote:
The latest version, provisionally called 5.6.1, has had very little change for several months. I'm not aware of any show-stoppers so I think it would be a good time to make a release. Because there have been some major changes I was planning to call it 5.7. This is the last chance to do any last tests before the release.
We have strange memory management problems with Isabelle.
I've been using repository versions of Poly/ML privately during the past few months, without seeing such problems. Only the official switch in http://isabelle.in.tum.de/repos/isabelle/rev/42b92fa72a51 exposed that, ranging from main HOL not building on an underpowered macOS machine to some big AFP entry not building on an overpowered Linux box.
For the moment, I have switched the Isabelle setup back to stable Poly/ML 5.6 (see http://isabelle.in.tum.de/repos/isabelle/rev/18f3d341f8c0).
I will come back on that when I've investigated the situation further.
Makarius