Added select and select_revert tactics
As discussed with @robbertkrebbers open points:
-
Names of the tactics (What are the names in Mtac? @janno ) -
Changelog entry?
Edited by Michael Sammler
Merge request reports
Activity
Please register or sign in to reply