Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove "obsolete_locality" and fix STM vernac classification. | 2017-11-29 | |
* | Bump year in headers. | 2017-07-04 | |
* | Drop '.' from CErrors.anomaly, insert it in args | 2017-06-02 | |
* | Revert "Merge remote-tracking branch 'github/pr/283' into trunk" | 2016-09-22 | |
* | Stylistic improvements in intf/decl_kinds.mli. | 2016-09-20 | |
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | 2016-07-03 | |
* | Update copyright headers. | 2016-01-20 | |
* | Update headers. | 2015-01-12 | |
* | This commit adds full universe polymorphism and fast projections to Coq. | 2014-05-06 | |
* | Added a Local Definition vernacular command. This type of definition | 2013-03-11 | |
* | Uniformization of the "anomaly" command. | 2013-01-28 | |
* | Updating headers. | 2012-08-08 | |
* | Decl_kinds becomes a pure mli file, remaining ops in new file kindops.ml | 2012-05-29 |