Mon, 17 May 2010 17:34:02 +0200 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 17 May 2010 17:34:02 +0200] rev 2148
merge
Mon, 17 May 2010 17:31:18 +0200 alpha_alphabn for bindings in a type under bn.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 17 May 2010 17:31:18 +0200] rev 2147
alpha_alphabn for bindings in a type under bn.
Mon, 17 May 2010 16:25:45 +0100 minor tuning
Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 16:25:45 +0100] rev 2146
minor tuning
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip