[isabelle-dev] NEWS: powr

[Larry Paulson]

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

Larry

> 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.