Tue, 29 Sep 2009 13:24:57 +0200 Test line
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 13:24:57 +0200] rev 53
Test line
Tue, 29 Sep 2009 11:55:37 +0200 Partially fix lifting of card_suc. The quantified variable still needs to be changed.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 11:55:37 +0200] rev 52
Partially fix lifting of card_suc. The quantified variable still needs to be changed.
(0) -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip