| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Use a homebrew parser to replace the GEXTEND extension points of Camlp5. |  Pierre-Marie Pédrot | 2018-06-29 |
| * | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| * | Improving checks about the list separator in tactic notations. |  Hugo Herbelin | 2017-11-02 |
| * | [api] Remove type equalities from API. |  Emilio Jesus Gallego Arias | 2017-07-25 |
| * | Bump year in headers. | Pierre-Marie Pédrot | 2017-07-04 |
| * | Remove (useless) aliases from the API. |  Matej Košík | 2017-06-10 |
| * | Put all plugins behind an "API". | Matej Kosik | 2017-06-07 |
| * | Adding support for using grammar entries returning no value in EXTEND. | Hugo Herbelin | 2017-05-16 |
| * | [camlpX] Remove camlp4 compat layer. | Emilio Jesus Gallego Arias | 2017-04-07 |
| * | [cleanup] Change Id.t option to Name.t in TacFun |  Tej Chajed | 2017-02-16 |
| * | Moving Ltac-specific parsing API to ltac/ folder. | Pierre-Marie Pédrot | 2016-09-14 |
| * | Yet another Makefile reform : a unique phase without nasty make tricks |  Pierre Letouzey | 2016-06-01 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |