Lines Matching full:mil
525 \newdimen\mil \mil=0.001in
534 %\vtop to #1\mil{\vfil}\kern -#1\mil\penalty 10000
547 \vtop to #1\mil{\vfil}%
565 \kern -#1\mil
1740 \ifnum 0#3>0 \advance \leftskip by #3\mil \fi %
1741 \ifnum 0#4>0 \tableindent=#4\mil \fi %
1742 \ifnum 0#5>0 \advance \rightskip by #5\mil \fi %
