GoProof Tool bar cross comment