| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | A new infrastructure for warnings. |  Maxime Dénès | 2016-06-29 |
| * | LtacProf reports structured results (pr/209) |  CJ Bell | 2016-06-20 |
| * | Fix another missing newline |  Jason Gross | 2016-06-16 |
| * | Fix a printing typo | Jason Gross | 2016-06-16 |
| * | Commenting out debugging code. |  Pierre-Marie Pédrot | 2016-06-14 |
| * | Correct use of printing primitives. | Pierre-Marie Pédrot | 2016-06-14 |
| * | Better coding style (semantics). | Pierre-Marie Pédrot | 2016-06-14 |
| * | Better coding style (syntax). | Pierre-Marie Pédrot | 2016-06-14 |
| * | Adding Coq headers. | Pierre-Marie Pédrot | 2016-06-14 |
| * | Moving back Ltac profiling to the Ltac folder. | Pierre-Marie Pédrot | 2016-06-14 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |