| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Getting rid of Exninfo hacks. |  Pierre-Marie Pédrot | 2014-12-16 |
| * | Exporting a primitive allowing to run completely the tactic monad. | Pierre-Marie Pédrot | 2014-11-22 |
| * | Info: do not record info trace unless needed. |  Arnaud Spiwack | 2014-11-01 |
| * | An API for info traces. | Arnaud Spiwack | 2014-11-01 |
| * | Specializing tclBREAK so that it can choose the return exception in case | Pierre-Marie Pédrot | 2014-10-22 |
| * | Split [Proofview] into a file where the basic operations on the state are def... | Arnaud Spiwack | 2014-10-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |