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.log | 117 ++++++++++++++++++++++++++++---------- 1 file changed, 87 insertions(+), 30 deletions(-) (limited to 'exercises/preplogic-exercises.log') diff --git a/exercises/preplogic-exercises.log b/exercises/preplogic-exercises.log index 340c2da..66c9478 100644 --- a/exercises/preplogic-exercises.log +++ b/exercises/preplogic-exercises.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 17:47 +This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 19:28 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -100,52 +100,109 @@ Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. +)) (/usr/share/texmf-dist/tex/latex/geometry/geometry.sty +Package: geometry 2020/01/02 v5.9 Page Geometry + (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 2014/10/28 v1.15 key=value parser (DPC) +\KV@toks@=\toks28 +) (/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty +Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. + (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty +Package: iftex 2020/03/06 v1.0d TeX engine tests )) -\c@exercise=\count187 +\Gm@cnth=\count187 +\Gm@cntv=\count188 +\c@Gm@tempcnt=\count189 +\Gm@bindingoffset=\dimen144 +\Gm@wd@mp=\dimen145 +\Gm@odd@mp=\dimen146 +\Gm@even@mp=\dimen147 +\Gm@layoutwidth=\dimen148 +\Gm@layoutheight=\dimen149 +\Gm@layouthoffset=\dimen150 +\Gm@layoutvoffset=\dimen151 +\Gm@dimlist=\toks29 +) +\c@exercise=\count190 (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode -\l__kernel_color_stack_int=\count188 +\l__kernel_color_stack_int=\count191 \l__pdf_internal_box=\box47 ) (./preplogic-exercises.aux) \openout1 = `preplogic-exercises.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 12. -LaTeX Font Info: ... okay on input line 12. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 12. -LaTeX Font Info: ... okay on input line 12. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 12. -LaTeX Font Info: ... okay on input line 12. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 12. -LaTeX Font Info: ... okay on input line 12. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 12. -LaTeX Font Info: ... okay on input line 12. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 12. -LaTeX Font Info: ... okay on input line 12. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 12. -LaTeX Font Info: ... okay on input line 12. -LaTeX Font Info: Trying to load font information for U+msa on input line 13. - (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13. +LaTeX Font Info: ... okay on input line 13. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 13. +LaTeX Font Info: ... okay on input line 13. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 13. +LaTeX Font Info: ... okay on input line 13. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 13. +LaTeX Font Info: ... okay on input line 13. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 13. +LaTeX Font Info: ... okay on input line 13. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 13. +LaTeX Font Info: ... okay on input line 13. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 13. +LaTeX Font Info: ... okay on input line 13. + +*geometry* driver: auto-detecting +*geometry* detected driver: pdftex +*geometry* verbose mode - [ preamble ] result: +* driver: pdftex +* paper: a4paper +* layout: +* layoutoffset:(h,v)=(0.0pt,0.0pt) +* modes: +* h-part:(L,W,R)=(89.62709pt, 418.25368pt, 89.6271pt) +* v-part:(T,H,B)=(56.9055pt, 686.7347pt, 101.40665pt) +* \paperwidth=597.50787pt +* \paperheight=845.04684pt +* \textwidth=418.25368pt +* \textheight=686.7347pt +* \oddsidemargin=17.3571pt +* \evensidemargin=17.3571pt +* \topmargin=-52.36449pt +* \headheight=12.0pt +* \headsep=25.0pt +* \topskip=10.0pt +* \footskip=30.0pt +* \marginparwidth=57.0pt +* \marginparsep=11.0pt +* \columnsep=10.0pt +* \skip\footins=9.0pt plus 4.0pt minus 2.0pt +* \hoffset=0.0pt +* \voffset=0.0pt +* \mag=1000 +* \@twocolumnfalse +* \@twosidefalse +* \@mparswitchfalse +* \@reversemarginfalse +* (1in=72.27pt=25.4mm, 1cm=28.453pt) + +LaTeX Font Info: Trying to load font information for U+msa on input line 14. +(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) -LaTeX Font Info: Trying to load font information for U+msb on input line 13. +LaTeX Font Info: Trying to load font information for U+msb on input line 14. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] [2] (./preplogic-exercises.aux) ) Here is how much of TeX's memory you used: - 1629 strings out of 480478 - 20291 string characters out of 5905927 - 258779 words of memory out of 5000000 - 17679 multiletter control sequences out of 15000+600000 - 540575 words of font info for 56 fonts, out of 8000000 for 9000 + 2168 strings out of 480478 + 27947 string characters out of 5905927 + 275547 words of memory out of 5000000 + 18202 multiletter control sequences out of 15000+600000 + 540744 words of font info for 57 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 30i,13n,31p,234b,251s stack positions out of 5000i,500n,10000p,200000b,80000s -{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} -Output written on preplogic-exercises.pdf (2 pages, 125146 bytes). + 30i,16n,31p,234b,270s stack positions out of 5000i,500n,10000p,200000b,80000s +{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} +Output written on preplogic-exercises.pdf (2 pages, 146771 bytes). PDF statistics: - 60 PDF objects out of 1000 (max. 8388607) - 43 compressed objects within 1 object stream + 72 PDF objects out of 1000 (max. 8388607) + 52 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000) -- cgit v1.3