aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/evar_tactics.mli
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Fixing bug #2308 ("instantiate" tactic did not comply withGravatar herbelin2009-04-24
* Fixes and refinements regarding occurrence selection:Gravatar herbelin2008-10-26
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* more evar stuffGravatar corbinea2004-06-28