| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-01-24 | [STM] explicit handling of parsing states | Enrico Tassi |
| 2018-12-13 | Move shallow state logic to the function preparing state for workers | Maxime Dénès |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 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 |