[isabelle-dev] Isabelle on Mercurial
makarius at sketis.net
Tue Dec 2 23:56:17 CET 2008
On Wed, 3 Dec 2008, Gerwin Klein wrote:
> I'm no great friend of $Id$, but Tjark does have a point: we release
> development snapshots and it is very easy to confuse versions when
> people ask questions about specific files etc.
People should be able to say which release they are using. For the
development snapshot the release name is the id of the changeset that
makedist encountered as "tip".
If anybody uses the repository directly, not a release, then "hg tip" will
provide that information.
More information about the isabelle-dev