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