Add function holl-send-tactic-line