Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice

Whatever happened with this? The new release has been out for a while, and it would make sense to integrate your work now, well before any thought of a new release. Larry > On 27 Aug 2017, at 15:59, Viorel Preoteasa wrote: > > I managed to integrate the new complete

Re: [isabelle-dev] Slow builds due to excessive heap images

> They are just identifiers and I don't think they are computed with. > However, I don't intend to change formalization beyond a global > implementation of int by some fixed size integers, if that can be done > easily. Otherwise we live with the increase in runtime from 7:20 to 8:20. Hence a