Thu, 14 Feb 2013 12:11:40 +0000 Christian Urban typo in the paper
Thu, 14 Feb 2013 09:31:19 +0000 Christian Urban updated some files
Wed, 13 Feb 2013 20:08:14 +0000 Christian Urban tuned
Tue, 12 Feb 2013 13:37:07 +0000 Christian Urban small changes
Mon, 11 Feb 2013 08:46:24 +0000 Christian Urban updated
Mon, 11 Feb 2013 08:31:48 +0000 Christian Urban removed some dead code
(0) -100 -30 -10 -6 +6 +10 +30 +100 tip