ntheorem.pdf. - Mirrors.med.harvard.edu

hyperref-thref When hyperref is active, the handling of thref described above via the
.aux file redefinition of \@newl@bel is not possible (hyperref forces its
definitions at \AtBeginDocument). Instead, an internal identifier of the
form Theorem.1.1 is used in the .aux file for the hypertarget (using the
type of the counter; thus when a theorem type uses another counter, this
does not give the theorem type itself). The same id is stored in the .thm
file for the respective theorem. by this, given the id from the \newlabel in
the .aux file, the .thm file can be searched for the actual type information.
1096 \if@thref
1097 \def\@firstofthree#1#2#3{#1}%
1098 \def\getKeywordOf#1{%
1099 \let\thm@oldcontentsline\contentsline
1100 \def\contentsline##1##2##3##4{%
1101 \ifthenelse{\equal{#1}{##4}}{\@firstofthree##2}{}%
1102 \ignorespaces}%
1103 \@input{\jobname .thm}%
1104 \let\contentsline\thm@oldcontentsline
1105 }
1106 \def\thm@fmt@hyplabel@i#1#2#3#4#5{%
1107 \getKeywordOf{#4}~\thm@fmt@hyplabel@ii#4}
1108 \def\thm@fmt@hyplabel@ii#1.#2{#2}%
1109 \def\thref#1{%
1110 \expandafter\@setref\csname r@#1\endcsname\thm@fmt@hyplabel@i{#1}}%
1111 \fi % end of \if@thref
1112 }% end of option hyperref *********************************************
Lines 1097-1105: given an id #1 of the form Theorem.1.1, scan the .thm file
for a \contentsline whose 4th argument equals the id. If found, the
third component of its second argument gives its theorem type.
Lines 1106-1108: this command must have 5 arguments because it is applied
to the information stored with \newlabel in the .aux file. The 4th
argument is the id #4 of the form Theorem.1.1.
Get the correct keyword by \getKeywordOf{#4} and its number (which
is the part following the first “.”).
Lines 1109-1110: createahyperlinkvia\@setref(seehyperref.sty): \@setref
takes three arguments: r@〈label〉 := arg1 is the information from
\newlabel in the .aux file (consisting of 5 components). The 2nd
argument arg2 must be a command that uses 5 arguments, here
\thm@fmt@hyplabel@i{#1}as definedinLines 1106-1108. The3rd oneis
the label, and is only used for error messages. \@setref then –roughly–
applies arg2 on arg1.
7.1.10 Auxiliary macros
For generating theorem-lists, we need to write information into a separate
file. Beause we don’t want to expand this information, we parse it specially
77