On Sun, 5 Sep 2010, Tjark Weber wrote:
On Fri, 2010-09-03 at 15:06 +0200, Makarius 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.
"tuned"
Yes, of course. This is our internal jargon word, for saying that nothing
really significant has changed. (No semantic change, no real structural
change.) This is important information.
A better counter example is "fixed bug", because it looks like it
addresses a significant issue without saying what it was. (And very often
a perceived "bug" is actually an important feature.) Just a few days ago
I was again standing before an ancient changeset that claimed to have
fixed a bug, but it was otherwise unclear. So I had to guess at the
greater context. Luckily such bad log entries are relatively rare.
Makarius
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
