| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-11-07 | [api] Remove 8.7 ML-deprecated functions. | Emilio Jesus Gallego Arias |
| 2017-11-03 | Merge PR #6047: A generic printer for ltac values | Maxime Dénès |
| 2017-11-03 | Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/d... | Maxime Dénès |
| 2017-11-02 | Using a specific function to register vernac printers. | Hugo Herbelin |
| 2017-10-27 | Mention the migration from Bugzilla to GitHub issues in dev/doc/changes. | Théo Zimmermann |
| 2017-10-26 | Passing around the flag for injection so that tactics calling inj at | Hugo Herbelin |
| 2017-10-10 | [configure] Support for flambda flags. | Emilio Jesus Gallego Arias |
| 2017-10-06 | Extract changes to the XML protocol from its doc | Théo Zimmermann |
| 2017-08-29 | Move dev/doc/changes to Markdown. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |