I was actually there. Ted Cruz never used the name Trump. He got standing ovations. Donald Trump talked mostly about what he’s done in business until he began attacking Bush and Cruz. He was continually booed as he attacked Cruz. He got no standing ovations other than when he took the stage. Just the facts.
In the video trump talks about Cruz for 35 seconds. I timed it.
Cruz is talking about Trump for much longer than that.