| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Remove deprecated commands Arguments Scope and Implicit Arguments |  Jasper Hugunin | 2018-03-30 |
| * | [vernac] Remove `Save.` command. |  Emilio Jesus Gallego Arias | 2017-05-23 |
| * | Add a [Variant] declaration which allows to write non-recursive variant types. |  Arnaud Spiwack | 2014-09-04 |
| * | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e |  Pierre Boutillier | 2013-12-17 |
| * | Renaming elisp files to avoid conflict with pg in distribs. |  Pierre Courtieu | 2013-12-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |