Wed, 07 Aug 2013 17:31:42 +0100 Christian Urban added first part of the Sulzmann paper
Sat, 15 Jun 2013 09:23:18 -0400 Christian Urban better organised
Sat, 15 Jun 2013 09:11:11 -0400 Christian Urban moved scala files
Sun, 23 Dec 2012 00:38:56 +0000 Christian Urban added
Fri, 21 Dec 2012 10:53:50 +0000 Christian Urban added
Tue, 11 Dec 2012 11:07:49 +0000 Christian Urban typo
Wed, 05 Dec 2012 12:38:24 +0000 Christian Urban typo
(0) -30 -10 -7 +7 +10 +30 +100 +300 tip