Tue, 30 Mar 2010 13:36:02 +0200 close the missing parenthesis on both sides.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 13:36:02 +0200] rev 1713
close the missing parenthesis on both sides.
Tue, 30 Mar 2010 13:23:12 +0200 merged
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:23:12 +0200] rev 1712
merged
Tue, 30 Mar 2010 13:22:54 +0200 changes to section 2
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:22:54 +0200] rev 1711
changes to section 2
Tue, 30 Mar 2010 12:31:28 +0200 Clean alpha
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 12:31:28 +0200] rev 1710
Clean alpha
Tue, 30 Mar 2010 12:19:20 +0200 clean fv_bn
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 12:19:20 +0200] rev 1709
clean fv_bn
Tue, 30 Mar 2010 11:45:41 +0200 alpha_bn
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 11:45:41 +0200] rev 1708
alpha_bn
Tue, 30 Mar 2010 11:32:12 +0200 Change @{text} to @{term}
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 11:32:12 +0200] rev 1707
Change @{text} to @{term}
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip