| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix test-suite. |  Maxime Dénès | 2016-09-30 |
| * | Fix a bug in subst releaved by an OCaml warning. | Maxime Dénès | 2016-09-29 |
| * | In Regular Subst Tactic mode, ensure that the order of hypotheses is |  Hugo Herbelin | 2016-05-03 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |