On Sun, 30 Nov 2008, Makarius wrote: > After several months of getting acquainted with "distributed version > control" in general, we should be finally ready to switch the official > Isabelle repository to Mercurial.
I noticed that Mercurial does not perform CVS keyword expansion by default, causing most files in (my copy of) the repository to contain rather useless "$Id$" keys now. One can argue that such keys are not necessary (since files in the repository can be identified by their changeset id); however, this is true only as long as one knows where a file is coming from. If you want keyword expansion, instructions can be found here: http://www.selenic.com/mercurial/wiki/index.cgi/KeywordExtension Best, Tjark
