Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Fix bug preventing apply from unfolding Fixpoints. | 2014-05-06 | |
* | Adapt universe polymorphic branch to new handling of futures for delayed proofs. | 2014-05-06 | |
* | Correct rebase on STM code. Thanks to E. Tassi for help on dealing with | 2014-05-06 | |
* | Rework handling of universes on top of the STM, allowing for delayed | 2014-05-06 | |
* | This commit adds full universe polymorphism and fast projections to Coq. | 2014-05-06 | |
* | Fixing ml-doc. | 2014-05-01 | |
* | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | 2014-04-25 |