log LICENSE

age author description
2011-01-16 Adam Chlipala Updating documentation in preparation for a release
2010-12-14 Adam Chlipala Bump year on LICENSE
2009-06-23 Adam Chlipala New release
2008-10-24 Adam Chlipala Add 'package' make target; add LICENSE