Add pretty boxes around various typing environments.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 29 Sep 2009 15:42:50 +0000 (17:42 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 29 Sep 2009 15:42:50 +0000 (17:42 +0200)

No differences found