Re: [isabelle] Isabelle2016-1-RC1: NEWS: setsum -> sum
> On 02/11/2016 18:31, Andreas Lochbihler wrote:
>> This is no longer up-to-date, because one has to apply the renaming of
>> setsum to
>> the right-hand side again. I would find it less confusing if these
>> lines were
>> the following:
>> * The following theorems have been renamed:
>> setsum_left_distrib ~> sum_distrib_right
>> setsum_right_distrib ~> sum_distrib_left
On 02/11/16 21:26, Tobias Nipkow wrote:
> Indeed, that would be better.
That has become change cc2da001465b on the isabelle-dev repository, but
anything for Isabelle2016-1 needs to go to the isabelle-release
repository, by sending changesets to me by mail.
I have applied that change already by "cherry-picking" it, see
but this principle does not work well when the two repositories diverge
further in the coming weeks.
Changes should normally go either on isabelle-dev (post-release
development) or on isabelle-release (important amendments of release
This archive was generated by a fusion of
Pipermail (Mailman edition) and