[isabelle-dev] Spike in isatest performance charts

Makarius makarius at sketis.net
Sat Sep 4 13:51:24 CEST 2010

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.


More information about the isabelle-dev mailing list