[isabelle-dev] Spike in isatest performance charts
makarius at sketis.net
Sun Sep 5 10:30:45 CEST 2010
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.
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.
More information about the isabelle-dev