Sat, 25 Aug 2012 08:51:37 +0200 Patrick Mezard evolve: factor out copy/paste in obssummary() stable
Sat, 25 Aug 2012 08:30:02 +0200 Patrick Mezard evolve: avoid 'any' argument name in _picknexttroubled() stable
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip