From 7862d4e51530dc1d97fb20b63060d017f04b6a24 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 19:29:27 +0200 Subject: Added exercises and some pages to the slides --- exercises/preplogic-exercises.fls | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'exercises/preplogic-exercises.fls') diff --git a/exercises/preplogic-exercises.fls b/exercises/preplogic-exercises.fls index 2dcc725..bcdb67c 100644 --- a/exercises/preplogic-exercises.fls +++ b/exercises/preplogic-exercises.fls @@ -25,6 +25,14 @@ INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty +INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty +INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty +INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty +INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty +INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty +INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def INPUT preplogic-exercises.aux @@ -54,6 +62,7 @@ INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm @@ -73,13 +82,16 @@ INPUT preplogic-exercises.aux INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb +INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb -- cgit v1.3