[isabelle-dev] Isabelle on Mercurial
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:
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.
More information about the isabelle-dev