tactical

Meanings

1. 1
   adj

   of or pertaining to tactic or tactics

   a tactical error

2. 2
   adj

   Of or relating to tactics.

   As in the 1-0 win against Norway in Oslo, this was an England performance built on the foundations of solid defence and tactical discipline.

3. 3
   adj

   Of or relating to military operations that are smaller or more local than strategic ones.

   tactical nuclear weapon

4. 4
   noun

   A combinator of proof tactics.

   The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.

5. 5
   adj

   Adroit, skilful or ingenious.

6. 6
   adj

   Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration.

7. 7
   noun

   A private war reenactment event involving mock battles or skirmishes.

Etymology

From tactic + -al.