| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge branch 'v8.6' |  Pierre-Marie Pédrot | 2016-10-05 |
| |\ | |||
| * \ | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-02 |
| |\ \ | |||
| | | * | 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 |
| * | | Revert "Merge remote-tracking branch 'github/pr/283' into trunk" |  Maxime Dénès | 2016-09-22 |
| * | | Stylistic improvements in intf/decl_kinds.mli. | Maxime Dénès | 2016-09-20 |
| * | | Removing the last uses of Pptactic in the lower layers. | Pierre-Marie Pédrot | 2016-09-09 |
| * | | Making Vernacexpr independent from Tacexpr. | Pierre-Marie Pédrot | 2016-09-08 |
| |/ | |||
| * | 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 |