Skip to content
GitLab

Added select and select_revert tactics

Merged Michael Sammler requested to merge msammler/select_tac into master

As discussed with @robbertkrebbers open points:

  • Names of the tactics (What are the names in Mtac? @janno )
  • Changelog entry?
Edited by Michael Sammler