[isabelle-dev] NEWS: powr

Larry Paulson lp15 at cam.ac.uk
Tue Apr 14 17:58:03 CEST 2015

I don’t intend any more changes. Fans of “approximation” may have to get used to doing “simp add: powr_def” first.


> On 14 Apr 2015, at 15:35, Makarius <makarius at sketis.net> wrote:
> Does that mean there will be further changes, to make it fully work in the coming release?
> It would be nice to see this last-minute change properly stabilized, such that Isabelle does not degrade into "continuous non-release repository-snapshot quality", like so many other projects today.

More information about the isabelle-dev mailing list