From a911f938427ec88618b6b1507ac3929616c770f7 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Tue, 8 Sep 2020 08:41:13 +0200
Subject: Minor fixes

---
 slides/preplogic-slides.nav | 54 ++++++++++++++++++++++-----------------------
 1 file changed, 27 insertions(+), 27 deletions(-)

(limited to 'slides/preplogic-slides.nav')

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 @@
 \headcommand {\beamer@sectionpages {28}{39}}
 \headcommand {\beamer@subsectionpages {28}{39}}
 \headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}
-\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}
-\headcommand {\beamer@framepages {40}{41}}
-\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}
-\headcommand {\beamer@framepages {42}{42}}
-\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}
-\headcommand {\beamer@framepages {43}{45}}
-\headcommand {\beamer@sectionpages {40}{45}}
-\headcommand {\beamer@subsectionpages {40}{45}}
-\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}
-\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}
-\headcommand {\beamer@framepages {46}{49}}
-\headcommand {\slideentry {5}{0}{2}{50/54}{}{0}}
-\headcommand {\beamer@framepages {50}{54}}
-\headcommand {\slideentry {5}{0}{3}{55/56}{}{0}}
-\headcommand {\beamer@framepages {55}{56}}
-\headcommand {\slideentry {5}{0}{4}{57/63}{}{0}}
-\headcommand {\beamer@framepages {57}{63}}
-\headcommand {\slideentry {5}{0}{5}{64/65}{}{0}}
-\headcommand {\beamer@framepages {64}{65}}
-\headcommand {\slideentry {5}{0}{6}{66/70}{}{0}}
-\headcommand {\beamer@framepages {66}{70}}
-\headcommand {\slideentry {5}{0}{7}{71/71}{}{0}}
-\headcommand {\beamer@framepages {71}{71}}
-\headcommand {\beamer@partpages {1}{71}}
-\headcommand {\beamer@subsectionpages {46}{71}}
-\headcommand {\beamer@sectionpages {46}{71}}
-\headcommand {\beamer@documentpages {71}}
+\headcommand {\slideentry {4}{0}{1}{40/42}{}{0}}
+\headcommand {\beamer@framepages {40}{42}}
+\headcommand {\slideentry {4}{0}{2}{43/43}{}{0}}
+\headcommand {\beamer@framepages {43}{43}}
+\headcommand {\slideentry {4}{0}{3}{44/46}{}{0}}
+\headcommand {\beamer@framepages {44}{46}}
+\headcommand {\beamer@sectionpages {40}{46}}
+\headcommand {\beamer@subsectionpages {40}{46}}
+\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}
+\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}
+\headcommand {\beamer@framepages {47}{50}}
+\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}
+\headcommand {\beamer@framepages {51}{55}}
+\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}
+\headcommand {\beamer@framepages {56}{57}}
+\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}
+\headcommand {\beamer@framepages {58}{64}}
+\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}
+\headcommand {\beamer@framepages {65}{66}}
+\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}
+\headcommand {\beamer@framepages {67}{71}}
+\headcommand {\slideentry {5}{0}{7}{72/72}{}{0}}
+\headcommand {\beamer@framepages {72}{72}}
+\headcommand {\beamer@partpages {1}{72}}
+\headcommand {\beamer@subsectionpages {47}{72}}
+\headcommand {\beamer@sectionpages {47}{72}}
+\headcommand {\beamer@documentpages {72}}
 \headcommand {\gdef \inserttotalframenumber {29}}
-- 
cgit v1.3