diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/example/paper/paper.aux')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/example/paper/paper.aux | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux b/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux new file mode 100644 index 00000000000..b6d2090b5cc --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux @@ -0,0 +1,41 @@ +\relax +\ifx\hyper@anchor\@undefined +\global \let \oldcontentsline\contentsline +\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} +\global \let \oldnewlabel\newlabel +\gdef \newlabel#1#2{\newlabelxx{#1}#2} +\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} +\AtEndDocument{\let \contentsline\oldcontentsline +\let \newlabel\oldnewlabel} +\else +\global \let \hyper@last\relax +\fi + +\citation{Kohlhase:ulsmf08} +\citation{Kohlhase:OMDoc1.3} +\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}} +\@sref@def{intro}{page}{1} +\@sref@def{intro}{label}{Section 1} +\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}The Setup}{1}{subsection.1.1}} +\citation{Kohlhase:ssmtl*} +\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Formatting and {OMDoc} conversion}{2}{subsection.1.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Makefile-based Automation}{2}{subsection.1.3}} +\@writefile{lol}{\contentsline {lstlisting}{Makefile}{2}{lstlisting.-1}} +\bibstyle{alpha} +\bibdata{kwarc} +\bibcite{Kohlhase:ulsmf08}{Koh08} +\bibcite{Kohlhase:OMDoc1.3}{Koh10} +\@writefile{toc}{\contentsline {section}{\numberline {2}Mathematical Content}{3}{section.2}} +\@sref@def{sec.math}{page}{3} +\@sref@def{sec.math}{label}{Section 2} +\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Continuous Functions}{3}{subsection.2.1}} +\@sref@def{sec.contfuncs}{page}{3} +\@sref@def{sec.contfuncs}{label}{Subsection 2.1} +\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{3}{STtheoremAssEnv.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Differentiable Functions}{3}{subsection.2.2}} +\@sref@def{sec.differentiable}{page}{3} +\@sref@def{sec.differentiable}{label}{Subsection 2.2} +\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{3}{STtheoremAssEnv.2}} +\@writefile{toc}{\contentsline {section}{\numberline {3}Conclusion}{3}{section.3}} +\@sref@def{concl}{page}{3} +\@sref@def{concl}{label}{Section 3} |