Added exercises and some pages to the slides

1 files changed, 13 insertions, 5 deletions

diff --git a/exercises/preplogic-exercises.fdb_latexmk b/exercises/preplogic-exercises.fdb_latexmk
index c0a94f2..425b289 100644
--- a/exercises/preplogic-exercises.fdb_latexmk
+++ b/exercises/preplogic-exercises.fdb_latexmk
@@ -1,5 +1,5 @@
 # Fdb version 3
-["pdflatex"] 1599407243 "preplogic-exercises.tex" "preplogic-exercises.pdf" "preplogic-exercises" 1599407243
+["pdflatex"] 1599413298 "preplogic-exercises.tex" "preplogic-exercises.pdf" "preplogic-exercises" 1599413298
   "/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc" 1594687104 2900 1537cc8184ad1792082cd229ecc269f4 ""
   "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1594687104 3524 cb3e574dea2d1052e39280babc910dc8 ""
   "/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map" 1594687104 4851843 f8aac22e46e9a458223e5c13b1e20998 ""
@@ -26,18 +26,24 @@
   "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1594687104 1116 933a60c408fc0a863a92debe84b2d294 ""
   "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1594687104 1120 8b7d695260f3cff42e636090a8002094 ""
   "/usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm" 1594687104 1480 aa8e34af0eb6a2941b776984cf1dfdc4 ""
+  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm" 1594687104 772 9a936b7f5e2ff0557fce0f62822f0bbf ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb" 1594687104 34811 78b52f49e893bcba91bd7581cdc144c0 ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1594687104 32080 340ef9bf63678554ee606688e7b5339d ""
+  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb" 1594687104 30251 6afa5cb1d0204815a708a080681d4674 ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1594687104 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb" 1594687104 37912 77d683123f92148345f3fc36a38d9ab1 ""
+  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1594687104 36281 c355509802a035cadc5f15869451dcee ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1594687104 35752 024fb6c41858982481f6968b5fc26508 ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1594687104 32722 d7379af29a190c3f453aba36302ff5a9 ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1594687104 32362 179c33bbf43f19adbb3825bb4e36e57a ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1594687104 32762 224316ccc9ad3ca0423a14971cfa7fc1 ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1594687104 32569 5e5ddc8df908dea60932f3c484a54c0d ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb" 1594687104 37944 359e864bd06cde3b1cf57bb20757fb06 ""
+  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb" 1594687104 24252 1e4e051947e12dfb50fee0b7f4e26e3a ""
   "/usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1594687104 34694 ad62b13721ee8eda1dcc8993c8bd7041 ""
   "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb" 1594687104 138258 6525c253f16cededa14c7fd0da7f67b2 ""
+  "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1594687104 6501 4011d89d9621e0b0901138815ba5ff29 ""
+  "/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty" 1594687104 1057 525c2192b5febbd8c1f662c9468335bb ""
   "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" 1594687104 12594 0d51ac3a545aaaa555021326ff22a6cc ""
   "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1594687104 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
   "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1594687104 13829 94730e64147574077f8ecfea9bb69af4 ""
@@ -51,12 +57,14 @@
   "/usr/share/texmf-dist/tex/latex/base/article.cls" 1594687104 20023 e427dd9e17e239bf926ef3aab67fe35e ""
   "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" 1594687104 5050 8933a39ad74377accd18991c5eb90c58 ""
   "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1594687104 8446 9874cccac5fee462272c582807dbbf56 ""
+  "/usr/share/texmf-dist/tex/latex/geometry/geometry.sty" 1594687104 41601 9cf6c5257b1bc7af01a58859749dd37a ""
+  "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1594687104 2590 e3b24ff953e5b58d924f163d25380312 ""
   "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def" 1594687104 25742 5de23a2d2bc67a3139433e702e64a437 ""
   "/usr/share/texmf-dist/web2c/texmf.cnf" 1597672114 39446 755423e82e7afb756f49b242a15f4ec2 ""
   "/usr/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1598712773 2434818 64d78922a5d2a9baf6bf1beec95a9374 ""
-  "preplogic-exercises.aux" 1599407243 398 c1412237ecba2ce936c17ace596c30a6 "pdflatex"
-  "preplogic-exercises.tex" 1599407242 3546 94e18075fe4f9c11a865c64ac581a692 ""
+  "preplogic-exercises.aux" 1599413298 398 c1412237ecba2ce936c17ace596c30a6 "pdflatex"
+  "preplogic-exercises.tex" 1599413295 4576 b03ca92fc16bbca83f264a2bb3016bef ""
   (generated)
-  "preplogic-exercises.log"
-  "preplogic-exercises.pdf"
   "preplogic-exercises.aux"
+  "preplogic-exercises.pdf"
+  "preplogic-exercises.log"