aboutsummaryrefslogtreecommitdiffhomepage
path: root/LICENSE
Commit message (Collapse)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