| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-03-07 | Test for #4035 (dependent destruction from Ltac). | Hugo Herbelin |
| 2015-02-26 | Revert "Fixing bug #4035 (support for dependent destruction within ltac code)." | Maxime Dénès |
| 2015-02-16 | Fixing bug #4035 (support for dependent destruction within ltac code). | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |