From: Christiaan Baaij Date: Wed, 27 Jan 2010 08:12:12 +0000 (+0100) Subject: Merge branch 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=sidebyside;h=eb7dcf95682cdea046240ea50407b6fff0e8e158;hp=eb7dcf95682cdea046240ea50407b6fff0e8e158;p=matthijs%2Fmaster-project%2Fdsd-paper.git Merge branch 'master' of git.stderr.nl/matthijs/projects/cλash-paper * 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper: Improve the sections on application and choice a bit. Fix typo. Conflicts: cλash.tex ---