source: Deliverables/Dissemination/front-end/final-review/front-end.nav @ 3278

Last change on this file since 3278 was 3278, checked in by Ian Stark, 7 years ago

Renaming and moving

File size: 3.1 KB
Line 
1\beamer@endinputifotherversion {3.07pt}
2\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}
3\headcommand {\beamer@framepages {1}{1}}
4\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}
5\headcommand {\beamer@framepages {2}{2}}
6\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}
7\headcommand {\beamer@framepages {3}{3}}
8\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}
9\headcommand {\beamer@framepages {4}{4}}
10\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}
11\headcommand {\beamer@framepages {5}{5}}
12\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}
13\headcommand {\beamer@framepages {6}{6}}
14\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}
15\headcommand {\beamer@framepages {7}{7}}
16\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}}
17\headcommand {\beamer@framepages {8}{8}}
18\headcommand {\slideentry {0}{0}{9}{9/9}{}{0}}
19\headcommand {\beamer@framepages {9}{9}}
20\headcommand {\slideentry {0}{0}{10}{10/10}{}{0}}
21\headcommand {\beamer@framepages {10}{10}}
22\headcommand {\slideentry {0}{0}{11}{11/11}{}{0}}
23\headcommand {\beamer@framepages {11}{11}}
24\headcommand {\sectionentry {1}{Correctness proofs}{12}{Correctness proofs}{0}}
25\headcommand {\beamer@sectionpages {1}{11}}
26\headcommand {\beamer@subsectionpages {1}{11}}
27\headcommand {\beamer@subsectionentry {0}{1}{1}{12}{Generic lifting result}}\headcommand {\beamer@subsectionpages {12}{11}}
28\headcommand {\slideentry {1}{1}{1}{12/14}{Generic lifting result}{0}}
29\headcommand {\beamer@framepages {12}{14}}
30\headcommand {\beamer@subsectionentry {0}{1}{2}{15}{Simulations for compiler passes}}\headcommand {\beamer@subsectionpages {12}{14}}
31\headcommand {\slideentry {1}{2}{1}{15/15}{Simulations for compiler passes}{0}}
32\headcommand {\beamer@framepages {15}{15}}
33\headcommand {\slideentry {1}{2}{2}{16/16}{Simulations for compiler passes}{0}}
34\headcommand {\beamer@framepages {16}{16}}
35\headcommand {\sectionentry {2}{Checking cost labelling properties}{17}{Checking cost labelling properties}{0}}
36\headcommand {\beamer@sectionpages {12}{16}}
37\headcommand {\beamer@subsectionpages {15}{16}}
38\headcommand {\slideentry {2}{0}{3}{17/17}{}{0}}
39\headcommand {\beamer@framepages {17}{17}}
40\headcommand {\slideentry {2}{0}{4}{18/23}{}{0}}
41\headcommand {\beamer@framepages {18}{23}}
42\headcommand {\slideentry {2}{0}{5}{24/24}{}{0}}
43\headcommand {\beamer@framepages {24}{24}}
44\headcommand {\sectionentry {3}{Construction of structured traces}{25}{Construction of structured traces}{0}}
45\headcommand {\beamer@sectionpages {17}{24}}
46\headcommand {\beamer@subsectionpages {17}{24}}
47\headcommand {\slideentry {3}{0}{6}{25/25}{}{0}}
48\headcommand {\beamer@framepages {25}{25}}
49\headcommand {\sectionentry {4}{Whole compiler}{26}{Whole compiler}{0}}
50\headcommand {\beamer@sectionpages {25}{25}}
51\headcommand {\beamer@subsectionpages {25}{25}}
52\headcommand {\slideentry {4}{0}{7}{26/26}{}{0}}
53\headcommand {\beamer@framepages {26}{26}}
54\headcommand {\slideentry {4}{0}{8}{27/28}{}{0}}
55\headcommand {\beamer@framepages {27}{28}}
56\headcommand {\beamer@partpages {1}{28}}
57\headcommand {\beamer@subsectionpages {26}{28}}
58\headcommand {\beamer@sectionpages {26}{28}}
59\headcommand {\beamer@documentpages {28}}
60\headcommand {\def \inserttotalframenumber {20}}
Note: See TracBrowser for help on using the repository browser.