On Sat, 4 Sep 2010, Jasmin Christian Blanchette wrote:
When composing log messages it is important do this from the
perspective of someone who needs to figure out problems many
months/years later, and needs to understand what was truely happening
at some point.
And public mailing lists are not the best place to criticize your
colleagues' writing style.
The above is really the one main purpose of the whole history. You can
read it as criticism if you want, but it does not change the fact.
It is very important to report faithfully what has been done, and what is
the current state of information. No promises, not future plans here, no
excuses about failed attempts -- this happens routinely even to myself.
Extra bonus points are for formal references backwards using changeset ids
-- some Mercurial browsing tools turn them into hyperlinks.
Makarius
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
