aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/evar_tactics.mli
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <gares@fettunta.org>2014-03-18 16:13:22 +0100
committerGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2014-03-18 16:21:26 +0100
commitaefba30e028bf1774f01f95a69a6a75b80206a5f (patch)
tree574e3ce6ce694eb824308d7350048f8d4fdb2dac /tactics/evar_tactics.mli
parentd6e4513b844dbd551164868819c3a6ac9baf6c45 (diff)
STM: make the slave start from the most recent known state
Diffstat (limited to 'tactics/evar_tactics.mli')
0 files changed, 0 insertions, 0 deletions