[isabelle-dev] Isabelle on Mercurial

Makarius makarius at sketis.net
Tue Dec 2 22:09:33 CET 2008


On Tue, 2 Dec 2008, Tjark Weber wrote:

> 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

This is only a retro feature, which comes with its problems.

With Mercurial you have the whole history always around, and there is no 
need to encode (tiny) parts of it in the file.  Before source control 
systems came about, people where used to have much more history on board.

Note that recent GNU Emacs will happily tell you the file id of the 
current buffer, if available.  Other tools like Netbeans also have 
substantial hg support built into the editing environment.

The present plan about the old $Id$ artifacts is to remove them gradually, 
or just ignore them for now.


	Makarius



More information about the isabelle-dev mailing list