[isabelle-dev] NEWS: powr

[Larry Paulson]

> * Complex powers and square roots. The functions "ln" and "powr" are now
> overloaded for types real and complex, and 0 powr y = 0 by definition.
> INCOMPATIBILITY: type constraints may be necessary.

But I had to remove support for powr in code generation and the approximation method. If anybody thinks these are priorities for restoration, I guess we only have a few days. The problem with code generation has something to do with types.

Larry