GoProof Tool bar box comment

GoProof Tool bar box comment