log

age author description
Tue, 11 Nov 2008 15:32:10 -0500 Adam Chlipala Ignore UseRel effects in [let] expansions
Tue, 11 Nov 2008 15:12:24 -0500 Adam Chlipala Get preliminary ThreadedBlog working