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)
commit24186af91e8401f45b11b2ba45bc9e9daedc2b55
tree81e518b34c03d803cfa633314cf383dd7c97dda9
parent6b779650796b6ef5c72ea261238f8576b049d925
Add pretty boxes around various typing environments.
Utils/Lambda.tex