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