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 --- slides/preplogic-slides.log | 74 ++++++++++++++++++++++----------------------- 1 file changed, 37 insertions(+), 37 deletions(-) (limited to 'slides/preplogic-slides.log') diff --git a/slides/preplogic-slides.log b/slides/preplogic-slides.log index eb2b9e7..ed1edf2 100644 --- a/slides/preplogic-slides.log +++ b/slides/preplogic-slides.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 18:23 +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:09 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -977,203 +977,203 @@ Package pdftex.def Info: unilu.jpg used on input line 376. ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 394. +Package pdftex.def Info: unilu.jpg used on input line 403. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [43 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 394. +Package pdftex.def Info: unilu.jpg used on input line 403. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [44 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 394. +Package pdftex.def Info: unilu.jpg used on input line 403. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [45 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 398. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [46 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [47 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [48 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [49 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [50 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [51 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [52 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [53 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [54 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 459. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [55 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 454. +Package pdftex.def Info: unilu.jpg used on input line 459. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [56 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 454. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [57 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [58 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [59 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [60 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [61 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [62 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [63 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 500. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [64 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 495. +Package pdftex.def Info: unilu.jpg used on input line 500. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [65 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 495. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [66 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [67 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [68 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [69 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [70 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 540. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [71 @@ -1187,11 +1187,11 @@ Package pdftex.def Info: unilu.jpg used on input line 524. \tf@snm=\write8 \openout8 = `preplogic-slides.snm'. -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 526. -Package atveryend Info: Empty hook `AfterLastShipout' on input line 526. +Package atveryend Info: Empty hook `BeforeClearDocument' on input line 543. +Package atveryend Info: Empty hook `AfterLastShipout' on input line 543. (./preplogic-slides.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 526. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 526. +Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 543. +Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 543. Package rerunfilecheck Info: File `preplogic-slides.out' has not changed. (rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231. @@ -1202,13 +1202,13 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted. Here is how much of TeX's memory you used: 18146 strings out of 480478 343117 string characters out of 5905927 - 607445 words of memory out of 5000000 + 607433 words of memory out of 5000000 33570 multiletter control sequences out of 15000+600000 545011 words of font info for 70 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 54i,20n,63p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s + 54i,20n,64p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s -Output written on preplogic-slides.pdf (71 pages, 363451 bytes). +Output written on preplogic-slides.pdf (71 pages, 364862 bytes). PDF statistics: 2027 PDF objects out of 2073 (max. 8388607) 1904 compressed objects within 20 object streams -- cgit v1.3