[isabelle-dev] Spike in isatest performance charts

Tjark Weber webertj at in.tum.de
Sun Sep 5 01:49:50 CEST 2010


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"

Regards,
Tjark




More information about the isabelle-dev mailing list