| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Move to a representation of universe polymorphic constants using indices for ... |  Matthieu Sozeau | 2014-08-03 |
| * | This commit adds full universe polymorphism and fast projections to Coq. |  Matthieu Sozeau | 2014-05-06 |
| * | code simplifications concerning Summary |  letouzey | 2013-04-22 |
| * | Fix #3001 (rename arg of global cst inside section) |  gareuselesinge | 2013-04-18 |
| * | Modulification of name |  ppedrot | 2012-12-18 |
| * | Partial revert of Yann commit in order to use CLib.List when opening | ppedrot | 2012-09-14 |
| * | This patch removes unused "open" (automatically generated from |  regisgia | 2012-09-14 |
| * | Updating headers. |  herbelin | 2012-08-08 |
| * | global_reference migrated from Libnames to new Globnames, less deps in gramma... | letouzey | 2012-05-29 |
| * | Noise for nothing |  pboutill | 2012-03-02 |
| * | Renamig support added to "Arguments" | gareuselesinge | 2011-11-21 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |