Lines Matching refs:number
585 % When we turn headings on, set the page number to 1,
601 \def\today{\number\day\space
605 \space\number\year}
611 %\space\number\day, \number\year}
767 % It also defines \fooindfile to be the number of the output channel for
773 \expandafter\newwrite \csname#1indfile\endcsname% Define number for output file
786 \expandafter\newwrite \csname#1indfile\endcsname% Define number for output file
1341 % The last argument is the page number.
1342 % The arguments in between are the chapter number, section number, ...
