summaryrefslogtreecommitdiff
path: root/lib/Heaps.v
Commit message (Expand)AuthorAge
* Various algorithmic improvements that reduce compile times (thanks Alexandre ...Gravatar xleroy2010-10-27