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 _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
