Re: [isabelle-dev] Regression in Approximation – Does this belong into NEWS?
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 wondering whether this kind of thing should also be put into NEWS/CONTRIBUTORS. From the size and significance of the changeset, I would say yes. Makarius___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Regression in Approximation – Does this belong into NEWS?
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 should also be put into NEWS/CONTRIBUTORS. (I have more changes to ‘approximation’ in my pipeline, but these are new features and performance improvements, which can wait until after the release, but I deemed it important to fix this regression after it already made it into the last release) Manuel ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev