diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:29:27 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:29:27 +0200 |
| commit | 7862d4e51530dc1d97fb20b63060d017f04b6a24 (patch) | |
| tree | b778c62cd38fa7a4bd239e02c7d64fae684e597c /slides/preplogic-slides.nav | |
| parent | 92fe0e599cf079aea24fa75af8890fbc05bb078d (diff) | |
| download | preplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.tar.gz preplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.zip | |
Added exercises and some pages to the slides
Diffstat (limited to 'slides/preplogic-slides.nav')
| -rw-r--r-- | slides/preplogic-slides.nav | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/slides/preplogic-slides.nav b/slides/preplogic-slides.nav index e7b544a..46ad078 100644 --- a/slides/preplogic-slides.nav +++ b/slides/preplogic-slides.nav | |||
| @@ -54,25 +54,25 @@ | |||
| 54 | \headcommand {\beamer@framepages {42}{42}} | 54 | \headcommand {\beamer@framepages {42}{42}} |
| 55 | \headcommand {\slideentry {4}{0}{3}{43/45}{}{0}} | 55 | \headcommand {\slideentry {4}{0}{3}{43/45}{}{0}} |
| 56 | \headcommand {\beamer@framepages {43}{45}} | 56 | \headcommand {\beamer@framepages {43}{45}} |
| 57 | \headcommand {\slideentry {4}{0}{4}{46/46}{}{0}} | 57 | \headcommand {\beamer@sectionpages {40}{45}} |
| 58 | \headcommand {\beamer@framepages {46}{46}} | 58 | \headcommand {\beamer@subsectionpages {40}{45}} |
| 59 | \headcommand {\beamer@sectionpages {40}{46}} | 59 | \headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}} |
| 60 | \headcommand {\beamer@subsectionpages {40}{46}} | 60 | \headcommand {\slideentry {5}{0}{1}{46/49}{}{0}} |
| 61 | \headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}} | 61 | \headcommand {\beamer@framepages {46}{49}} |
| 62 | \headcommand {\slideentry {5}{0}{1}{47/50}{}{0}} | 62 | \headcommand {\slideentry {5}{0}{2}{50/54}{}{0}} |
| 63 | \headcommand {\beamer@framepages {47}{50}} | 63 | \headcommand {\beamer@framepages {50}{54}} |
| 64 | \headcommand {\slideentry {5}{0}{2}{51/55}{}{0}} | 64 | \headcommand {\slideentry {5}{0}{3}{55/56}{}{0}} |
| 65 | \headcommand {\beamer@framepages {51}{55}} | 65 | \headcommand {\beamer@framepages {55}{56}} |
| 66 | \headcommand {\slideentry {5}{0}{3}{56/57}{}{0}} | 66 | \headcommand {\slideentry {5}{0}{4}{57/63}{}{0}} |
| 67 | \headcommand {\beamer@framepages {56}{57}} | 67 | \headcommand {\beamer@framepages {57}{63}} |
| 68 | \headcommand {\slideentry {5}{0}{4}{58/64}{}{0}} | 68 | \headcommand {\slideentry {5}{0}{5}{64/65}{}{0}} |
| 69 | \headcommand {\beamer@framepages {58}{64}} | 69 | \headcommand {\beamer@framepages {64}{65}} |
| 70 | \headcommand {\slideentry {5}{0}{5}{65/66}{}{0}} | 70 | \headcommand {\slideentry {5}{0}{6}{66/70}{}{0}} |
| 71 | \headcommand {\beamer@framepages {65}{66}} | 71 | \headcommand {\beamer@framepages {66}{70}} |
| 72 | \headcommand {\slideentry {5}{0}{6}{67/71}{}{0}} | 72 | \headcommand {\slideentry {5}{0}{7}{71/71}{}{0}} |
| 73 | \headcommand {\beamer@framepages {67}{71}} | 73 | \headcommand {\beamer@framepages {71}{71}} |
| 74 | \headcommand {\beamer@partpages {1}{71}} | 74 | \headcommand {\beamer@partpages {1}{71}} |
| 75 | \headcommand {\beamer@subsectionpages {47}{71}} | 75 | \headcommand {\beamer@subsectionpages {46}{71}} |
| 76 | \headcommand {\beamer@sectionpages {47}{71}} | 76 | \headcommand {\beamer@sectionpages {46}{71}} |
| 77 | \headcommand {\beamer@documentpages {71}} | 77 | \headcommand {\beamer@documentpages {71}} |
| 78 | \headcommand {\gdef \inserttotalframenumber {29}} | 78 | \headcommand {\gdef \inserttotalframenumber {29}} |