diff options
Diffstat (limited to 'exercises/preplogic-exercises.fls')
| -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 |
