| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Adjusting test-suite after 5cbc018fe9347 (subst as in 8.4 by default). |  Hugo Herbelin | 2015-05-09 |
| * | Adding a flag "Set Regular Subst Tactic" off by default in v8.5 for | Hugo Herbelin | 2015-05-09 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |