aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/change.v
Commit message (Expand)AuthorAge
* Fixing side bug in db37c9f3f32ae7 delaying interpretation of theGravatar Hugo Herbelin2014-11-16
* Relaxing again the test on types of replacements in tactic changeGravatar Hugo Herbelin2014-10-16
* Fixing #3641 (loop in e_contextually, introduced in r16525).Gravatar Hugo Herbelin2014-09-19
* Kills the useless tactic annotations "in |- *"Gravatar letouzey2012-07-05
* It happens that the type inference algorithm (pretyping) did not checkGravatar herbelin2011-10-05
* Fixing bug #2146 (broken selection of occurrences in "change").Gravatar herbelin2009-12-30
* In "simpl c" and "change c with d", c can be a pattern.Gravatar herbelin2009-12-24
* Correction d'un bug à l'interprétation de "change" (on exigeait queGravatar herbelin2008-02-06