Mon, 14 Jun 2010 14:45:40 +0200 Cezary Kaliszyk merge
Mon, 14 Jun 2010 14:44:18 +0200 Cezary Kaliszyk qpaper/unfold the ball_reg_right statement
Mon, 14 Jun 2010 12:30:08 +0200 Christian Urban merged
Mon, 14 Jun 2010 11:51:34 +0200 Christian Urban some tuning and start work on section 4
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip