[isabelle-dev] Isabelle on Mercurial

[Tjark Weber]

On Tue, 2008-12-02 at 22:09 +0100, Makarius wrote:
> With Mercurial you have the whole history always around, and there is no 
> need to encode (tiny) parts of it in the file.

Certainly $Id$ keys are rather useless as long as the file is part of a
managed repository.  However, files escape into the wild.

Outdated or incompatible file/software versions are a major source of
errors.  I would suggest to keep that in mind before removing version
information from files altogether.

(On a similar note, I would again suggest to introduce version
identifiers for Isabelle theory files, to acknowledge the fact that
their syntax is evolving from one Isabelle release to the next.)

Best,
Tjark