From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 29 Sep 2009 15:42:50 +0000 (+0200)
Subject: Add pretty boxes around various typing environments.
X-Git-Tag: final-thesis~245
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=24186af91e8401f45b11b2ba45bc9e9daedc2b55;hp=24186af91e8401f45b11b2ba45bc9e9daedc2b55

Add pretty boxes around various typing environments.
---