summaryrefslogtreecommitdiff
path: root/Changelog
Commit message (Expand)AuthorAge
* Adapted to work with Coq 8.2-1Gravatar xleroy2009-06-05
* Various clean-upsGravatar xleroy2009-04-17
* Honor "static" modifier on C globals.Gravatar xleroy2009-03-28
* UpdateGravatar xleroy2009-03-26
* Added tail call optimization passGravatar xleroy2009-03-26
* UpdateGravatar xleroy2008-08-09
* Changes 1.2 -> 1.3Gravatar xleroy2008-08-09