summaryrefslogtreecommitdiff
path: root/LICENSE
Commit message (Expand)AuthorAge
* Updating documentation in preparation for a releaseGravatar Adam Chlipala2011-01-16
* Bump year on LICENSEGravatar Adam Chlipala2010-12-14
* New releaseGravatar Adam Chlipala2009-06-23
* Add 'package' make target; add LICENSEGravatar Adam Chlipala2008-10-24