From 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Wed, 5 Sep 2012 10:25:19 +1000 Subject: Delete a lot of tex stuff, better debug info Some other stuff, too, I think. Oh well. No biggie! --- tex/presentation/thomas/main.aux | 145 --------------------------------------- 1 file changed, 145 deletions(-) delete mode 100644 tex/presentation/thomas/main.aux (limited to 'tex/presentation/thomas/main.aux') diff --git a/tex/presentation/thomas/main.aux b/tex/presentation/thomas/main.aux deleted file mode 100644 index dc4889f..0000000 --- a/tex/presentation/thomas/main.aux +++ /dev/null @@ -1,145 +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]{} -\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{toc}{\beamer@sectionintoc {0}{Title}{1}{0}{1}} -\@writefile{nav}{\headcommand {\sectionentry {0}{Title}{1}{Title}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{0}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{0}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{3/3}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\@writefile{toc}{\beamer@sectionintoc {1}{Abstract Interpretation using Zones}{4}{0}{2}} -\@writefile{nav}{\headcommand {\sectionentry {1}{Abstract Interpretation using Zones}{4}{Abstract Interpretation using Zones}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{3}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{3}}} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{3}{4/5}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {4}{5}}} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{4}{6/7}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {6}{7}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{5}{8/9}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {8}{9}}} -\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 {1}{0}{6}{10/11}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {10}{11}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{7}{12/13}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {12}{13}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{8}{14/14}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {14}{14}}} -\@writefile{toc}{\beamer@sectionintoc {2}{Max-Strategy Iteration}{15}{0}{3}} -\@writefile{nav}{\headcommand {\sectionentry {2}{Max-Strategy Iteration}{15}{Max-Strategy Iteration}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {4}{14}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {4}{14}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{15/16}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {15}{16}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{10}{17/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {17}{18}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{11}{19/20}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{20}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{12}{21/21}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{13}{22/22}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{14}{23/24}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {23}{24}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{15}{25/26}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{16}{27/27}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}} -\@writefile{toc}{\beamer@sectionintoc {3}{Conclusion}{28}{0}{4}} -\@writefile{nav}{\headcommand {\sectionentry {3}{Conclusion}{28}{Conclusion}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {15}{27}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {15}{27}}} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{17}{28/29}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {28}{29}}} -\bibstyle{apalike2} -\bibdata{bib} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{18}{30/30}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{30}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{30}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{30}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {30}}} -\@writefile{nav}{\headcommand {\def \inserttotalframenumber {18}}} -- cgit v1.2.3