Commit message (Expand) | Author | Age | |
---|---|---|---|
* | An example for cd139311e, showing a consequence of not converting | 2016-04-28 | |
* | Fixed #2970 (made that remember's eqn name is interpretable as an ltac var). | 2013-01-29 | |
* | Kills the useless tactic annotations "in |- *" | 2012-07-05 | |
* | Fixing tactic remember not correctly checking preservation of typing | 2011-11-06 |