[isabelle-dev] NEWS

[Gerwin Klein]

Makarius wrote:
> It is already there, together with some other things that people tend to 
> commit by accident:

Too fast for me ;-)

Gerwin