% This macro source file is from the four volume series
% "TeX in Practice" by Stephan von Bechtolsheim, published
% 1993 by Springer-Verlag, New York.
% Copyright 1993 Stephan von Bechtolsheim.
% No warranty or liability is assumed.
% This macro may be copied freely if no fees other than
% media cost or shipping charges are charged and as long
% as this copyright and the following source code itself
% is not changed. Please see the series for further information.
%
% Version: 1.0
% Date: May 1, 1993
%
%
% This source code is documented in 19.3.10, p. III-96.
% Original source in file "tokens2.TEX", starting line 1462.
\wlog{L: "cref-5.tip" ["tokens2.TEX," l. 1462, p. III-96]}%
% This file DOES NOT belong to format "texip."
\InputD{gobble.tip}
\InputD{input-at.tip}
\catcode`\@ = 11
\newif\if@LabelOk
\def\CheckLabels{%
   \@LabelOktrue
   \def\@NewLabel ##1##2##3{%
       \def\@CrefTemp{{##2}{##3}}%
       \if\NameDefinedConditional{@REF-##1}%
           \edef\@@CrefTemp{\NameUse{@REF-##1}}%
           \ifx\@CrefTemp\@@CrefTemp
               \let\@CrefNext = \relax
           \else
               \let\@CrefNext = \@StopCheckingLabels
           \fi
       \else
           \let\@CrefNext = \@StopCheckingLabels
       \fi
       \@CrefNext
   }%
   \InputAt{\jobname.lab}%
   \if@LabelOk
       \wlog{\string\CheckLabels: labels are ok.}%
   \else
       \wlog{\string\CheckLabels: labels CHANGED between
           preceding and this run.}%
       \wlog{Reprocess document.}%
   \fi
}
\def\@StopCheckingLabels{%
   \@LabelOkfalse
   \let\@NewLabel = \GobbleThree
}
\catcode`\@ = 12

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.