From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Wed, 27 Jan 2010 09:25:45 +0000 (+0100)
Subject: Use lhs2tex for code and verbatim formatting
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=d761eaf56b88d9a83aa096d23e12bb4d724d4c3f;hp=d761eaf56b88d9a83aa096d23e12bb4d724d4c3f

Use lhs2tex for code and verbatim formatting
---