[isabelle-dev] NEWS / CONTRIBUTORS
brianh at cs.pdx.edu
Sun Sep 11 22:39:24 CEST 2011
On Sun, Sep 11, 2011 at 1:01 PM, Makarius <makarius at sketis.net> wrote:
> My impression is that NEWS and CONTRIBUTORS for the coming release is still
> somewhat incomplete.
> NEWS is not just for bad news -- infamous INCOMPATIBILITY entries -- but for
> any "user-relevant changes". If things are not user-relevant then what is
> the point of doing them in the first place?
Certainly, any additions to HOL/Library are user-relevant and should
be considered NEWS-worthy.
A quick comparison of the directory listings for HOL/Library shows
that these files are new since Isabelle2011:
A few of these have NEWS entries already (Extended_Nat, Old_Recdef,
Saturated, Wfrec). The authors of all the others (this includes me!)
should make sure to document each one in the NEWS file.
More information about the isabelle-dev