Mon, 14 Jun 2010 15:16:42 +0200 Cezary Kaliszyk Qpaper / beginnig of sec5
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
Mon, 14 Jun 2010 13:24:22 +0200 Cezary Kaliszyk qpaper
Mon, 14 Jun 2010 12:07:55 +0200 Cezary Kaliszyk qpaper / INJ
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip