Class GuiTactic.tactic

method clear : unit
method targeted : bool
method select : process: ( Wp.Tactical.tactical -> Wp.Tactical.selection -> Wp.Tactical.process -> unit ) -> browser:( browser -> unit ) -> composer:( composer -> unit ) -> tree:Wp.ProofEngine.tree -> Wp.Tactical.selection -> unit