diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:29:27 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:29:27 +0200 |
| commit | 7862d4e51530dc1d97fb20b63060d017f04b6a24 (patch) | |
| tree | b778c62cd38fa7a4bd239e02c7d64fae684e597c /exercises/preplogic-exercises.fls | |
| parent | 92fe0e599cf079aea24fa75af8890fbc05bb078d (diff) | |
| download | preplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.tar.gz preplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.zip | |
Added exercises and some pages to the slides
Diffstat (limited to '')
| -rw-r--r-- | exercises/preplogic-exercises.fls | 12 |
1 files changed, 12 insertions, 0 deletions
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 | |||
| 25 | INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty | 25 | INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty |
| 26 | INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty | 26 | INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty |
| 27 | INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty | 27 | INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty |
| 28 | INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty | ||
| 29 | INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty | ||
| 30 | INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty | ||
| 31 | INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty | ||
| 32 | INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty | ||
| 33 | INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty | ||
| 34 | INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty | ||
| 35 | INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty | ||
| 28 | INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def | 36 | INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def |
| 29 | INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def | 37 | INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def |
| 30 | INPUT preplogic-exercises.aux | 38 | INPUT preplogic-exercises.aux |
| @@ -54,6 +62,7 @@ INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd | |||
| 54 | INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm | 62 | INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm |
| 55 | INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm | 63 | INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm |
| 56 | INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm | 64 | INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm |
| 65 | INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm | ||
| 57 | INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm | 66 | INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm |
| 58 | INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm | 67 | INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm |
| 59 | INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm | 68 | INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm |
| @@ -73,13 +82,16 @@ INPUT preplogic-exercises.aux | |||
| 73 | INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc | 82 | INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc |
| 74 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb | 83 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb |
| 75 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb | 84 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb |
| 85 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb | ||
| 76 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb | 86 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb |
| 77 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb | 87 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb |
| 88 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb | ||
| 78 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb | 89 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb |
| 79 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb | 90 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb |
| 80 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb | 91 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb |
| 81 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb | 92 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb |
| 82 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb | 93 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb |
| 83 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb | 94 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb |
| 95 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb | ||
| 84 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb | 96 | INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb |
| 85 | INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb | 97 | INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb |