| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | [general] Merge parsing with highparsing, put toplevel at the top of the link... |  Emilio Jesus Gallego Arias | 2017-08-29 |
| * | [meta] [api] Fix META file for API introduction. | Emilio Jesus Gallego Arias | 2017-06-29 |
| * | Put all plugins behind an "API". |  Matej Kosik | 2017-06-07 |
| * | [META] add support for ide libraries | Emilio Jesus Gallego Arias | 2017-03-23 |
| * | [META] [build] Install dlls to kernel/byterun | Emilio Jesus Gallego Arias | 2017-03-10 |
| * | [META] Ltac now a plugin. | Emilio Jesus Gallego Arias | 2017-03-10 |
| * | [META] Update version number. | Emilio Jesus Gallego Arias | 2017-03-10 |
| * | [ocamlbuild] fix small mistakes in descriptions |  Théo Zimmermann | 2017-02-20 |
| * | [ocamlbuild] Update meta for the vernac split. | Emilio Jesus Gallego Arias | 2017-02-20 |
| * | [build] META file to enable plugin linking with ocamlfind. | Emilio Jesus Gallego Arias | 2016-10-28 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |