log

age author description
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Mon, 13 Apr 2009 08:44:32 -0400 Adam Chlipala Simplify type class requirement for tree demo
Sun, 12 Apr 2009 14:21:19 -0400 Adam Chlipala Tiny increment to style test
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag