From 7862d4e51530dc1d97fb20b63060d017f04b6a24 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Sun, 6 Sep 2020 19:29:27 +0200
Subject: Added exercises and some pages to the slides

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

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

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 @@
 \headcommand {\beamer@framepages {42}{42}}
 \headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}
 \headcommand {\beamer@framepages {43}{45}}
-\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}
-\headcommand {\beamer@framepages {46}{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 {\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 {47}{71}}
-\headcommand {\beamer@sectionpages {47}{71}}
+\headcommand {\beamer@subsectionpages {46}{71}}
+\headcommand {\beamer@sectionpages {46}{71}}
 \headcommand {\beamer@documentpages {71}}
 \headcommand {\gdef \inserttotalframenumber {29}}
-- 
cgit v1.3