[isabelle-dev] NEWS: powr

[Makarius]

On Sun, 12 Apr 2015, Larry Paulson wrote:

> You should always have success by unfolding powr_def. And I’m told that 
> the necessary changes to “approximation” are not difficult.

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.


 	Makarius