Lines Matching refs:verified
5543 % I've verified that it is necessary both for e-TeX and for ordinary TeX
