[isabelle-dev] Spike in isatest performance charts

Makarius 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.
> "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.


More information about the isabelle-dev mailing list