| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |