log

age author description
Fri, 16 Dec 2011 13:28:11 -0500 Adam Chlipala Change make invocations to work properly with -j
Wed, 09 Nov 2011 15:26:50 -0500 Adam Chlipala Templatize Large