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 _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml