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
candidate material).


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.