Tactic.vo: Tactic.v
Tactic.vi: Tactic.v
Tactic.html: Tactic.v
