diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-08 08:41:13 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-08 08:41:13 +0200 |
| commit | a911f938427ec88618b6b1507ac3929616c770f7 (patch) | |
| tree | 616869bc1a884ffdb3f21f78b8ace487d9391496 /slides/preplogic-slides.nav | |
| parent | 048cb594ab336efcc9b4e2e9a3af88b4521345ed (diff) | |
| download | preplogic-a911f938427ec88618b6b1507ac3929616c770f7.tar.gz preplogic-a911f938427ec88618b6b1507ac3929616c770f7.zip | |
Minor fixes
Diffstat (limited to 'slides/preplogic-slides.nav')
| -rw-r--r-- | slides/preplogic-slides.nav | 54 |
1 files changed, 27 insertions, 27 deletions
diff --git a/slides/preplogic-slides.nav b/slides/preplogic-slides.nav index 46ad078..bf76d2a 100644 --- a/slides/preplogic-slides.nav +++ b/slides/preplogic-slides.nav | |||
| @@ -48,31 +48,31 @@ | |||
| 48 | \headcommand {\beamer@sectionpages {28}{39}} | 48 | \headcommand {\beamer@sectionpages {28}{39}} |
| 49 | \headcommand {\beamer@subsectionpages {28}{39}} | 49 | \headcommand {\beamer@subsectionpages {28}{39}} |
| 50 | \headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}} | 50 | \headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}} |
| 51 | \headcommand {\slideentry {4}{0}{1}{40/41}{}{0}} | 51 | \headcommand {\slideentry {4}{0}{1}{40/42}{}{0}} |
| 52 | \headcommand {\beamer@framepages {40}{41}} | 52 | \headcommand {\beamer@framepages {40}{42}} |
| 53 | \headcommand {\slideentry {4}{0}{2}{42/42}{}{0}} | 53 | \headcommand {\slideentry {4}{0}{2}{43/43}{}{0}} |
| 54 | \headcommand {\beamer@framepages {42}{42}} | 54 | \headcommand {\beamer@framepages {43}{43}} |
| 55 | \headcommand {\slideentry {4}{0}{3}{43/45}{}{0}} | 55 | \headcommand {\slideentry {4}{0}{3}{44/46}{}{0}} |
| 56 | \headcommand {\beamer@framepages {43}{45}} | 56 | \headcommand {\beamer@framepages {44}{46}} |
| 57 | \headcommand {\beamer@sectionpages {40}{45}} | 57 | \headcommand {\beamer@sectionpages {40}{46}} |
| 58 | \headcommand {\beamer@subsectionpages {40}{45}} | 58 | \headcommand {\beamer@subsectionpages {40}{46}} |
| 59 | \headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}} | 59 | \headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}} |
| 60 | \headcommand {\slideentry {5}{0}{1}{46/49}{}{0}} | 60 | \headcommand {\slideentry {5}{0}{1}{47/50}{}{0}} |
| 61 | \headcommand {\beamer@framepages {46}{49}} | 61 | \headcommand {\beamer@framepages {47}{50}} |
| 62 | \headcommand {\slideentry {5}{0}{2}{50/54}{}{0}} | 62 | \headcommand {\slideentry {5}{0}{2}{51/55}{}{0}} |
| 63 | \headcommand {\beamer@framepages {50}{54}} | 63 | \headcommand {\beamer@framepages {51}{55}} |
| 64 | \headcommand {\slideentry {5}{0}{3}{55/56}{}{0}} | 64 | \headcommand {\slideentry {5}{0}{3}{56/57}{}{0}} |
| 65 | \headcommand {\beamer@framepages {55}{56}} | 65 | \headcommand {\beamer@framepages {56}{57}} |
| 66 | \headcommand {\slideentry {5}{0}{4}{57/63}{}{0}} | 66 | \headcommand {\slideentry {5}{0}{4}{58/64}{}{0}} |
| 67 | \headcommand {\beamer@framepages {57}{63}} | 67 | \headcommand {\beamer@framepages {58}{64}} |
| 68 | \headcommand {\slideentry {5}{0}{5}{64/65}{}{0}} | 68 | \headcommand {\slideentry {5}{0}{5}{65/66}{}{0}} |
| 69 | \headcommand {\beamer@framepages {64}{65}} | 69 | \headcommand {\beamer@framepages {65}{66}} |
| 70 | \headcommand {\slideentry {5}{0}{6}{66/70}{}{0}} | 70 | \headcommand {\slideentry {5}{0}{6}{67/71}{}{0}} |
| 71 | \headcommand {\beamer@framepages {66}{70}} | 71 | \headcommand {\beamer@framepages {67}{71}} |
| 72 | \headcommand {\slideentry {5}{0}{7}{71/71}{}{0}} | 72 | \headcommand {\slideentry {5}{0}{7}{72/72}{}{0}} |
| 73 | \headcommand {\beamer@framepages {71}{71}} | 73 | \headcommand {\beamer@framepages {72}{72}} |
| 74 | \headcommand {\beamer@partpages {1}{71}} | 74 | \headcommand {\beamer@partpages {1}{72}} |
| 75 | \headcommand {\beamer@subsectionpages {46}{71}} | 75 | \headcommand {\beamer@subsectionpages {47}{72}} |
| 76 | \headcommand {\beamer@sectionpages {46}{71}} | 76 | \headcommand {\beamer@sectionpages {47}{72}} |
| 77 | \headcommand {\beamer@documentpages {71}} | 77 | \headcommand {\beamer@documentpages {72}} |
| 78 | \headcommand {\gdef \inserttotalframenumber {29}} | 78 | \headcommand {\gdef \inserttotalframenumber {29}} |