equal
deleted
inserted
replaced
|
1 \relax |
|
2 \ifx\hyper@anchor\@undefined |
|
3 \global \let \oldcontentsline\contentsline |
|
4 \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} |
|
5 \global \let \oldnewlabel\newlabel |
|
6 \gdef \newlabel#1#2{\newlabelxx{#1}#2} |
|
7 \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} |
|
8 \AtEndDocument{\let \contentsline\oldcontentsline |
|
9 \let \newlabel\oldnewlabel} |
|
10 \else |
|
11 \global \let \hyper@last\relax |
|
12 \fi |
|
13 |
|
14 \@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Examples of fields}}{1}{section.1}} |
|
15 \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{Maps to a target space}}{1}{subsection.1.1}} |
|
16 \newlabel{tocindent-1}{0pt} |
|
17 \newlabel{tocindent0}{0pt} |
|
18 \newlabel{tocindent1}{19.4667pt} |
|
19 \newlabel{tocindent2}{32.18062pt} |
|
20 \newlabel{tocindent3}{0pt} |