[isabelle-dev] Build NEWS

Lars Hupel hupel at in.tum.de
Mon Jul 11 09:19:02 CEST 2016

>> 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


More information about the isabelle-dev mailing list