log

age author description
Tue, 07 Oct 2008 16:50:46 -0400 Adam Chlipala Comment regexp matcher
Tue, 07 Oct 2008 16:08:58 -0400 Adam Chlipala Finish automating regexp
Tue, 07 Oct 2008 14:52:15 -0400 Adam Chlipala Add star to regexp matcher; need to automate a bit more