| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| * | [error] Replace msg_error by a proper exception. |  Emilio Jesus Gallego Arias | 2018-02-09 |
| * | deprecate Pp.std_ppcmds type alias |  Matej Košík | 2017-07-27 |
| * | Bump year in headers. |  Pierre-Marie Pédrot | 2017-07-04 |
| * | Adding a bit of documentation in the mli. | Pierre-Marie Pédrot | 2016-06-09 |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2016-01-21 |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-10-19 |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-10-06 |
| * | Adding a primitive to the tactic monad to modify the exceptional content. | Pierre-Marie Pédrot | 2015-05-07 |
| * | Exposing the minimal amount of internal of the Logic monad in order to | Pierre-Marie Pédrot | 2015-05-06 |
| * | Adding a new folder corresponding to the low-level part of the pretyper | Pierre-Marie Pédrot | 2015-02-27 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |