Mon, 14 Jun 2010 16:45:29 +0200 Cezary Kaliszyk merge
Mon, 14 Jun 2010 16:44:53 +0200 Cezary Kaliszyk qpaper
Mon, 14 Jun 2010 14:28:32 +0200 Christian Urban merged
Mon, 14 Jun 2010 14:28:12 +0200 Christian Urban tuned
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
Mon, 14 Jun 2010 11:42:07 +0200 Cezary Kaliszyk qpaper / REG
Mon, 14 Jun 2010 10:14:39 +0200 Cezary Kaliszyk qpaper / minor
Mon, 14 Jun 2010 09:28:52 +0200 Cezary Kaliszyk qpaper/various
(0) -1000 -300 -100 -14 +14 +100 +300 tip