| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-01-13 | MMaps: remove it from final 8.5 release, since this new library isn't mature ↵ | Pierre Letouzey | |
| enough In particular, its interface might still change (in interaction with interested colleagues). So let's not give it too much visibility yet. Instead, I'll turn it as an opam packages for now. | |||
| 2015-12-07 | Fix some typos. | Guillaume Melquiond | |
| 2015-04-02 | MMapPositive: some improvements | Pierre Letouzey | |
| Most of them are backports of improvements already there in FSetPositive when compared with the original FMapPositive file. | |||
| 2015-03-06 | MMapPositive: another implementation of MMaps | Pierre Letouzey | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |