[isabelle-dev] Isabelle on Mercurial

[Makarius]

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.


	Makarius