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?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=eb7dcf95682cdea046240ea50407b6fff0e8e158;hp=eb7dcf95682cdea046240ea50407b6fff0e8e158 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 ---