Lines Matching refs:Revert
2961 % Revert to plain's \scriptsize, which is 7pt.9997 % the literal character `\'. Also revert - to its normal character, in10024 % That is what \eatinput is for; after that, the `\' should revert to printing
