[isabelle-dev] Regression in Approximation – Does this belong into NEWS?

2016-01-19 Thread Manuel Eberl
As of 67792e4a5486, I fixed a regression in the ‘approximation’ decision procedure that was introduced with Isabelle2015: approximating terms containing ‘powr’ did not work anymore due to the changed definition of ‘powr’. It works again now and I was wondering whether this kind of thing

Re: [isabelle-dev] Regression in Approximation – Does this belong into NEWS?

2016-01-19 Thread Makarius
On Tue, 19 Jan 2016, Manuel Eberl wrote: As of 67792e4a5486, I fixed a regression in the ‘approximation’ decision procedure that was introduced with Isabelle2015: approximating terms containing ‘powr’ did not work anymore due to the changed definition of ‘powr’. It works again now and I was