Mon, 22 Feb 2010 10:57:39 +0100 Renaming.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:57:39 +0100] rev 1206
Renaming.
Mon, 22 Feb 2010 10:39:05 +0100 Added missing description.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:39:05 +0100] rev 1205
Added missing description.
Mon, 22 Feb 2010 10:16:13 +0100 Added Brian's suggestion.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:16:13 +0100] rev 1204
Added Brian's suggestion.
Mon, 22 Feb 2010 09:55:43 +0100 Update TODO
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 09:55:43 +0100] rev 1203
Update TODO
Sun, 21 Feb 2010 22:39:11 +0100 Removed bindings 'in itself' where possible.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 21 Feb 2010 22:39:11 +0100] rev 1202
Removed bindings 'in itself' where possible.
Sat, 20 Feb 2010 06:31:03 +0100 Some adaptation
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 20 Feb 2010 06:31:03 +0100] rev 1201
Some adaptation
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip