[isabelle-dev] NEWS: powr

Makarius makarius at sketis.net
Tue Apr 14 16:35:35 CEST 2015

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.


More information about the isabelle-dev mailing list