| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-12-04 | [vernac] Couple of tweaks missing from previous PRs. | Emilio Jesus Gallego Arias |
| 2017-11-29 | [proof] [api] Rename proof types in preparation for functionalization. | Emilio Jesus Gallego Arias |
| 2017-11-22 | [plugin] Encapsulate modifiers to vernac commands. | Emilio Jesus Gallego Arias |
| 2017-11-19 | [plugins] Prepare plugin API for functional handling of state. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |