log

age author description
Sat, 27 Feb 2010 16:49:11 -0500 Adam Chlipala benignEffectful
Sat, 27 Feb 2010 14:57:57 -0500 Adam Chlipala Basic analysis of tag and CSS class usage