diff options
Diffstat (limited to 'tex/presentation/thomas/main.nav')
| -rw-r--r-- | tex/presentation/thomas/main.nav | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/tex/presentation/thomas/main.nav b/tex/presentation/thomas/main.nav new file mode 100644 index 0000000..d5422e3 --- /dev/null +++ b/tex/presentation/thomas/main.nav @@ -0,0 +1,54 @@ +\beamer@endinputifotherversion {3.10pt} +\headcommand {\sectionentry {0}{Title}{1}{Title}{0}} +\headcommand {\beamer@sectionpages {1}{0}} +\headcommand {\beamer@subsectionpages {1}{0}} +\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}} +\headcommand {\beamer@framepages {1}{1}} +\headcommand {\slideentry {0}{0}{2}{3/3}{}{0}} +\headcommand {\beamer@framepages {3}{3}} +\headcommand {\sectionentry {1}{Abstract Interpretation using Zones}{4}{Abstract Interpretation using Zones}{0}} +\headcommand {\beamer@sectionpages {1}{3}} +\headcommand {\beamer@subsectionpages {1}{3}} +\headcommand {\slideentry {1}{0}{3}{4/5}{}{0}} +\headcommand {\beamer@framepages {4}{5}} +\headcommand {\slideentry {1}{0}{4}{6/7}{}{0}} +\headcommand {\beamer@framepages {6}{7}} +\headcommand {\slideentry {1}{0}{5}{8/9}{}{0}} +\headcommand {\beamer@framepages {8}{9}} +\headcommand {\slideentry {1}{0}{6}{10/11}{}{0}} +\headcommand {\beamer@framepages {10}{11}} +\headcommand {\slideentry {1}{0}{7}{12/13}{}{0}} +\headcommand {\beamer@framepages {12}{13}} +\headcommand {\slideentry {1}{0}{8}{14/14}{}{0}} +\headcommand {\beamer@framepages {14}{14}} +\headcommand {\sectionentry {2}{Max-Strategy Iteration}{15}{Max-Strategy Iteration}{0}} +\headcommand {\beamer@sectionpages {4}{14}} +\headcommand {\beamer@subsectionpages {4}{14}} +\headcommand {\slideentry {2}{0}{9}{15/16}{}{0}} +\headcommand {\beamer@framepages {15}{16}} +\headcommand {\slideentry {2}{0}{10}{17/18}{}{0}} +\headcommand {\beamer@framepages {17}{18}} +\headcommand {\slideentry {2}{0}{11}{19/20}{}{0}} +\headcommand {\beamer@framepages {19}{20}} +\headcommand {\slideentry {2}{0}{12}{21/21}{}{0}} +\headcommand {\beamer@framepages {21}{21}} +\headcommand {\slideentry {2}{0}{13}{22/22}{}{0}} +\headcommand {\beamer@framepages {22}{22}} +\headcommand {\slideentry {2}{0}{14}{23/24}{}{0}} +\headcommand {\beamer@framepages {23}{24}} +\headcommand {\slideentry {2}{0}{15}{25/26}{}{0}} +\headcommand {\beamer@framepages {25}{26}} +\headcommand {\slideentry {2}{0}{16}{27/27}{}{0}} +\headcommand {\beamer@framepages {27}{27}} +\headcommand {\sectionentry {3}{Conclusion}{28}{Conclusion}{0}} +\headcommand {\beamer@sectionpages {15}{27}} +\headcommand {\beamer@subsectionpages {15}{27}} +\headcommand {\slideentry {3}{0}{17}{28/29}{}{0}} +\headcommand {\beamer@framepages {28}{29}} +\headcommand {\slideentry {3}{0}{18}{30/30}{}{0}} +\headcommand {\beamer@framepages {30}{30}} +\headcommand {\beamer@partpages {1}{30}} +\headcommand {\beamer@subsectionpages {28}{30}} +\headcommand {\beamer@sectionpages {28}{30}} +\headcommand {\beamer@documentpages {30}} +\headcommand {\def \inserttotalframenumber {18}} |