diff options
Diffstat (limited to 'tex/presentation/slides.aux')
| -rw-r--r-- | tex/presentation/slides.aux | 104 |
1 files changed, 0 insertions, 104 deletions
diff --git a/tex/presentation/slides.aux b/tex/presentation/slides.aux deleted file mode 100644 index ea1b3ad..0000000 --- a/tex/presentation/slides.aux +++ /dev/null @@ -1,104 +0,0 @@ -\relax -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\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{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/14}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{14}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{15/15}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{16/16}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{18/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{19/42}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{42}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{43/43}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{44/44}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {44}{44}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{45/66}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {45}{66}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{67/72}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {67}{72}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{73/79}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {73}{79}}} -\bibstyle{apalike2} -\bibdata{bib} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{80/80}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {80}{80}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {80}}} -\@writefile{nav}{\headcommand {\def \inserttotalframenumber {13}}} |