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