[isabelle-dev] Build NEWS

[Lars Hupel]

>> I’m sure there are quite some papers which reference the /devel
>> entries.
> 
> I should hope not - they make no sense to cite, because their whole
> purpose is to change on a daily basis.

I'm with Gerwin here. In fact, the devel pages clearly state: "Please
refer to release versions only in citations."

If you need to refer to some current development for any purposes, you
should really be using the Mercurial id, just as we do for the Isabelle
repository.

Cheers
Lars.