| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [vernac] Remove `Save.` command. |  Emilio Jesus Gallego Arias | 2017-05-23 |
| | | | | | It has been deprecated for a while in favor of `Qed`. | ||
| * | Add a [Variant] declaration which allows to write non-recursive variant types. |  Arnaud Spiwack | 2014-09-04 |
| | | | | | Just like the [Record] keyword allows only non-recursive records. | ||
| * | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e |  Pierre Boutillier | 2013-12-17 |
| | | | | | | Attempt to adapt .el files too. doc/refman/RefMan-uti.tex has still to be fixed. | ||
| * | Renaming elisp files to avoid conflict with pg in distribs. |  Pierre Courtieu | 2013-12-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |