Fri, 07 Jun 2013 09:30:13 +0200tuning
blanchet [Fri, 07 Jun 2013 09:30:13 +0200] rev 53471
tuning

Fri, 07 Jun 2013 22:13:04 +0200tuned
nipkow [Fri, 07 Jun 2013 22:13:04 +0200] rev 53470
tuned

Fri, 07 Jun 2013 12:55:09 +0200tuned variable names
nipkow [Fri, 07 Jun 2013 12:55:09 +0200] rev 53469
tuned variable names

Fri, 07 Jun 2013 11:51:52 +0200tuned
nipkow [Fri, 07 Jun 2013 11:51:52 +0200] rev 53468
tuned

Fri, 07 Jun 2013 09:28:59 +0200tuning
blanchet [Fri, 07 Jun 2013 09:28:59 +0200] rev 53467
tuning

Fri, 07 Jun 2013 08:57:44 +0200tuning
blanchet [Fri, 07 Jun 2013 08:57:44 +0200] rev 53466
tuning

Fri, 07 Jun 2013 08:48:59 +0200[mq]: tuning
blanchet [Fri, 07 Jun 2013 08:48:59 +0200] rev 53465
[mq]: tuning

Thu, 06 Jun 2013 22:01:42 +0200tuning
blanchet [Thu, 06 Jun 2013 22:01:42 +0200] rev 53464
tuning

Thu, 06 Jun 2013 21:32:39 +0200tuning
blanchet [Thu, 06 Jun 2013 21:32:39 +0200] rev 53463
tuning

Thu, 06 Jun 2013 21:22:04 +0200tuning
blanchet [Thu, 06 Jun 2013 21:22:04 +0200] rev 53462
tuning