[isabelle-dev] Spike in isatest performance charts
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