Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updating documentation in preparation for a release | Adam Chlipala | 2011-01-16 |
* | Bump year on LICENSE | Adam Chlipala | 2010-12-14 |
* | New release | Adam Chlipala | 2009-06-23 |
* | Add 'package' make target; add LICENSE | Adam Chlipala | 2008-10-24 |