Lines Matching refs:specified
1947 % specified font prefix (normally `cm').
3571 % can be specified either with sample text given in a template line,
7257 % If the user specified the print name (third arg) to the ref,
7855 % caption if specified, else the full caption if specified, else nothing.
8058 % Set the catcode of characters 128 through 255 to the specified number.
8077 % according to the specified encoding.
