| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Revert "Merge remote-tracking branch 'github/pr/360' into v8.6" |  Maxime Dénès | 2016-11-18 |
| * | [stm] Remove STM-related vernaculars |  Emilio Jesus Gallego Arias | 2016-11-17 |
| * | Add command 'Set foo Append "bar"' for appending to an option (bug #5109). |  Guillaume Melquiond | 2016-10-01 |
| * | Fix bug #4798: compat notations should not modify the parser. |  Pierre-Marie Pédrot | 2016-09-29 |
| * | Adding ability to put any pattern in binders, prefixed by a quote. |  Daniel de Rauglaudre | 2016-06-27 |
| * | Adding an only printing flag to notations. | Pierre-Marie Pédrot | 2016-06-07 |
| * | Move serialization functions out of Stm | Emilio Jesus Gallego Arias | 2016-06-02 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |