[isabelle-dev] Build NEWS
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
> 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