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
Mon, 14 Jun 2010 13:24:22 +0200 Cezary Kaliszyk qpaper
Mon, 14 Jun 2010 12:07:55 +0200 Cezary Kaliszyk qpaper / INJ
Mon, 14 Jun 2010 11:42:07 +0200 Cezary Kaliszyk qpaper / REG
Mon, 14 Jun 2010 10:14:39 +0200 Cezary Kaliszyk qpaper / minor
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip