aboutsummaryrefslogtreecommitdiff
path: root/slides/preplogic-slides.log
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-06 19:29:27 +0200
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-06 19:29:27 +0200
commit7862d4e51530dc1d97fb20b63060d017f04b6a24 (patch)
treeb778c62cd38fa7a4bd239e02c7d64fae684e597c /slides/preplogic-slides.log
parent92fe0e599cf079aea24fa75af8890fbc05bb078d (diff)
downloadpreplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.tar.gz
preplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.zip
Added exercises and some pages to the slides
Diffstat (limited to 'slides/preplogic-slides.log')
-rw-r--r--slides/preplogic-slides.log74
1 files changed, 37 insertions, 37 deletions
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 @@
1This 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 1This 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
2entering extended mode 2entering extended mode
3 restricted \write18 enabled. 3 restricted \write18 enabled.
4 file:line:error style messages enabled. 4 file:line:error style messages enabled.
@@ -977,203 +977,203 @@ Package pdftex.def Info: unilu.jpg used on input line 376.
977] 977]
978File: unilu.jpg Graphic file (type jpg) 978File: unilu.jpg Graphic file (type jpg)
979<use unilu.jpg> 979<use unilu.jpg>
980Package pdftex.def Info: unilu.jpg used on input line 394. 980Package pdftex.def Info: unilu.jpg used on input line 403.
981(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 981(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
982 [43 982 [43
983 983
984] 984]
985File: unilu.jpg Graphic file (type jpg) 985File: unilu.jpg Graphic file (type jpg)
986<use unilu.jpg> 986<use unilu.jpg>
987Package pdftex.def Info: unilu.jpg used on input line 394. 987Package pdftex.def Info: unilu.jpg used on input line 403.
988(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 988(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
989 [44 989 [44
990 990
991] 991]
992File: unilu.jpg Graphic file (type jpg) 992File: unilu.jpg Graphic file (type jpg)
993<use unilu.jpg> 993<use unilu.jpg>
994Package pdftex.def Info: unilu.jpg used on input line 394. 994Package pdftex.def Info: unilu.jpg used on input line 403.
995(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 995(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
996 [45 996 [45
997 997
998] 998]
999File: unilu.jpg Graphic file (type jpg) 999File: unilu.jpg Graphic file (type jpg)
1000<use unilu.jpg> 1000<use unilu.jpg>
1001Package pdftex.def Info: unilu.jpg used on input line 398. 1001Package pdftex.def Info: unilu.jpg used on input line 420.
1002(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1002(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1003 [46 1003 [46
1004 1004
1005] 1005]
1006File: unilu.jpg Graphic file (type jpg) 1006File: unilu.jpg Graphic file (type jpg)
1007<use unilu.jpg> 1007<use unilu.jpg>
1008Package pdftex.def Info: unilu.jpg used on input line 415. 1008Package pdftex.def Info: unilu.jpg used on input line 420.
1009(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1009(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1010 [47 1010 [47
1011 1011
1012] 1012]
1013File: unilu.jpg Graphic file (type jpg) 1013File: unilu.jpg Graphic file (type jpg)
1014<use unilu.jpg> 1014<use unilu.jpg>
1015Package pdftex.def Info: unilu.jpg used on input line 415. 1015Package pdftex.def Info: unilu.jpg used on input line 420.
1016(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1016(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1017 [48 1017 [48
1018 1018
1019] 1019]
1020File: unilu.jpg Graphic file (type jpg) 1020File: unilu.jpg Graphic file (type jpg)
1021<use unilu.jpg> 1021<use unilu.jpg>
1022Package pdftex.def Info: unilu.jpg used on input line 415. 1022Package pdftex.def Info: unilu.jpg used on input line 420.
1023(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1023(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1024 [49 1024 [49
1025 1025
1026] 1026]
1027File: unilu.jpg Graphic file (type jpg) 1027File: unilu.jpg Graphic file (type jpg)
1028<use unilu.jpg> 1028<use unilu.jpg>
1029Package pdftex.def Info: unilu.jpg used on input line 415. 1029Package pdftex.def Info: unilu.jpg used on input line 441.
1030(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1030(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1031 [50 1031 [50
1032 1032
1033] 1033]
1034File: unilu.jpg Graphic file (type jpg) 1034File: unilu.jpg Graphic file (type jpg)
1035<use unilu.jpg> 1035<use unilu.jpg>
1036Package pdftex.def Info: unilu.jpg used on input line 436. 1036Package pdftex.def Info: unilu.jpg used on input line 441.
1037(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1037(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1038 [51 1038 [51
1039 1039
1040] 1040]
1041File: unilu.jpg Graphic file (type jpg) 1041File: unilu.jpg Graphic file (type jpg)
1042<use unilu.jpg> 1042<use unilu.jpg>
1043Package pdftex.def Info: unilu.jpg used on input line 436. 1043Package pdftex.def Info: unilu.jpg used on input line 441.
1044(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1044(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1045 [52 1045 [52
1046 1046
1047] 1047]
1048File: unilu.jpg Graphic file (type jpg) 1048File: unilu.jpg Graphic file (type jpg)
1049<use unilu.jpg> 1049<use unilu.jpg>
1050Package pdftex.def Info: unilu.jpg used on input line 436. 1050Package pdftex.def Info: unilu.jpg used on input line 441.
1051(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1051(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1052 [53 1052 [53
1053 1053
1054] 1054]
1055File: unilu.jpg Graphic file (type jpg) 1055File: unilu.jpg Graphic file (type jpg)
1056<use unilu.jpg> 1056<use unilu.jpg>
1057Package pdftex.def Info: unilu.jpg used on input line 436. 1057Package pdftex.def Info: unilu.jpg used on input line 441.
1058(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1058(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1059 [54 1059 [54
1060 1060
1061] 1061]
1062File: unilu.jpg Graphic file (type jpg) 1062File: unilu.jpg Graphic file (type jpg)
1063<use unilu.jpg> 1063<use unilu.jpg>
1064Package pdftex.def Info: unilu.jpg used on input line 436. 1064Package pdftex.def Info: unilu.jpg used on input line 459.
1065(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1065(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1066 [55 1066 [55
1067 1067
1068] 1068]
1069File: unilu.jpg Graphic file (type jpg) 1069File: unilu.jpg Graphic file (type jpg)
1070<use unilu.jpg> 1070<use unilu.jpg>
1071Package pdftex.def Info: unilu.jpg used on input line 454. 1071Package pdftex.def Info: unilu.jpg used on input line 459.
1072(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1072(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1073 [56 1073 [56
1074 1074
1075] 1075]
1076File: unilu.jpg Graphic file (type jpg) 1076File: unilu.jpg Graphic file (type jpg)
1077<use unilu.jpg> 1077<use unilu.jpg>
1078Package pdftex.def Info: unilu.jpg used on input line 454. 1078Package pdftex.def Info: unilu.jpg used on input line 483.
1079(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1079(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1080 [57 1080 [57
1081 1081
1082] 1082]
1083File: unilu.jpg Graphic file (type jpg) 1083File: unilu.jpg Graphic file (type jpg)
1084<use unilu.jpg> 1084<use unilu.jpg>
1085Package pdftex.def Info: unilu.jpg used on input line 478. 1085Package pdftex.def Info: unilu.jpg used on input line 483.
1086(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1086(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1087 [58 1087 [58
1088 1088
1089] 1089]
1090File: unilu.jpg Graphic file (type jpg) 1090File: unilu.jpg Graphic file (type jpg)
1091<use unilu.jpg> 1091<use unilu.jpg>
1092Package pdftex.def Info: unilu.jpg used on input line 478. 1092Package pdftex.def Info: unilu.jpg used on input line 483.
1093(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1093(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1094 [59 1094 [59
1095 1095
1096] 1096]
1097File: unilu.jpg Graphic file (type jpg) 1097File: unilu.jpg Graphic file (type jpg)
1098<use unilu.jpg> 1098<use unilu.jpg>
1099Package pdftex.def Info: unilu.jpg used on input line 478. 1099Package pdftex.def Info: unilu.jpg used on input line 483.
1100(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1100(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1101 [60 1101 [60
1102 1102
1103] 1103]
1104File: unilu.jpg Graphic file (type jpg) 1104File: unilu.jpg Graphic file (type jpg)
1105<use unilu.jpg> 1105<use unilu.jpg>
1106Package pdftex.def Info: unilu.jpg used on input line 478. 1106Package pdftex.def Info: unilu.jpg used on input line 483.
1107(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1107(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1108 [61 1108 [61
1109 1109
1110] 1110]
1111File: unilu.jpg Graphic file (type jpg) 1111File: unilu.jpg Graphic file (type jpg)
1112<use unilu.jpg> 1112<use unilu.jpg>
1113Package pdftex.def Info: unilu.jpg used on input line 478. 1113Package pdftex.def Info: unilu.jpg used on input line 483.
1114(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1114(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1115 [62 1115 [62
1116 1116
1117] 1117]
1118File: unilu.jpg Graphic file (type jpg) 1118File: unilu.jpg Graphic file (type jpg)
1119<use unilu.jpg> 1119<use unilu.jpg>
1120Package pdftex.def Info: unilu.jpg used on input line 478. 1120Package pdftex.def Info: unilu.jpg used on input line 483.
1121(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1121(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1122 [63 1122 [63
1123 1123
1124] 1124]
1125File: unilu.jpg Graphic file (type jpg) 1125File: unilu.jpg Graphic file (type jpg)
1126<use unilu.jpg> 1126<use unilu.jpg>
1127Package pdftex.def Info: unilu.jpg used on input line 478. 1127Package pdftex.def Info: unilu.jpg used on input line 500.
1128(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1128(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1129 [64 1129 [64
1130 1130
1131] 1131]
1132File: unilu.jpg Graphic file (type jpg) 1132File: unilu.jpg Graphic file (type jpg)
1133<use unilu.jpg> 1133<use unilu.jpg>
1134Package pdftex.def Info: unilu.jpg used on input line 495. 1134Package pdftex.def Info: unilu.jpg used on input line 500.
1135(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1135(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1136 [65 1136 [65
1137 1137
1138] 1138]
1139File: unilu.jpg Graphic file (type jpg) 1139File: unilu.jpg Graphic file (type jpg)
1140<use unilu.jpg> 1140<use unilu.jpg>
1141Package pdftex.def Info: unilu.jpg used on input line 495. 1141Package pdftex.def Info: unilu.jpg used on input line 529.
1142(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1142(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1143 [66 1143 [66
1144 1144
1145] 1145]
1146File: unilu.jpg Graphic file (type jpg) 1146File: unilu.jpg Graphic file (type jpg)
1147<use unilu.jpg> 1147<use unilu.jpg>
1148Package pdftex.def Info: unilu.jpg used on input line 524. 1148Package pdftex.def Info: unilu.jpg used on input line 529.
1149(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1149(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1150 [67 1150 [67
1151 1151
1152] 1152]
1153File: unilu.jpg Graphic file (type jpg) 1153File: unilu.jpg Graphic file (type jpg)
1154<use unilu.jpg> 1154<use unilu.jpg>
1155Package pdftex.def Info: unilu.jpg used on input line 524. 1155Package pdftex.def Info: unilu.jpg used on input line 529.
1156(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1156(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1157 [68 1157 [68
1158 1158
1159] 1159]
1160File: unilu.jpg Graphic file (type jpg) 1160File: unilu.jpg Graphic file (type jpg)
1161<use unilu.jpg> 1161<use unilu.jpg>
1162Package pdftex.def Info: unilu.jpg used on input line 524. 1162Package pdftex.def Info: unilu.jpg used on input line 529.
1163(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1163(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1164 [69 1164 [69
1165 1165
1166] 1166]
1167File: unilu.jpg Graphic file (type jpg) 1167File: unilu.jpg Graphic file (type jpg)
1168<use unilu.jpg> 1168<use unilu.jpg>
1169Package pdftex.def Info: unilu.jpg used on input line 524. 1169Package pdftex.def Info: unilu.jpg used on input line 529.
1170(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1170(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1171 [70 1171 [70
1172 1172
1173] 1173]
1174File: unilu.jpg Graphic file (type jpg) 1174File: unilu.jpg Graphic file (type jpg)
1175<use unilu.jpg> 1175<use unilu.jpg>
1176Package pdftex.def Info: unilu.jpg used on input line 524. 1176Package pdftex.def Info: unilu.jpg used on input line 540.
1177(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1177(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1178 [71 1178 [71
1179 1179
@@ -1187,11 +1187,11 @@ Package pdftex.def Info: unilu.jpg used on input line 524.
1187\tf@snm=\write8 1187\tf@snm=\write8
1188\openout8 = `preplogic-slides.snm'. 1188\openout8 = `preplogic-slides.snm'.
1189 1189
1190Package atveryend Info: Empty hook `BeforeClearDocument' on input line 526. 1190Package atveryend Info: Empty hook `BeforeClearDocument' on input line 543.
1191Package atveryend Info: Empty hook `AfterLastShipout' on input line 526. 1191Package atveryend Info: Empty hook `AfterLastShipout' on input line 543.
1192 (./preplogic-slides.aux) 1192 (./preplogic-slides.aux)
1193Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 526. 1193Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 543.
1194Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 526. 1194Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 543.
1195Package rerunfilecheck Info: File `preplogic-slides.out' has not changed. 1195Package rerunfilecheck Info: File `preplogic-slides.out' has not changed.
1196(rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231. 1196(rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231.
1197 1197
@@ -1202,13 +1202,13 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted.
1202Here is how much of TeX's memory you used: 1202Here is how much of TeX's memory you used:
1203 18146 strings out of 480478 1203 18146 strings out of 480478
1204 343117 string characters out of 5905927 1204 343117 string characters out of 5905927
1205 607445 words of memory out of 5000000 1205 607433 words of memory out of 5000000
1206 33570 multiletter control sequences out of 15000+600000 1206 33570 multiletter control sequences out of 15000+600000
1207 545011 words of font info for 70 fonts, out of 8000000 for 9000 1207 545011 words of font info for 70 fonts, out of 8000000 for 9000
1208 1141 hyphenation exceptions out of 8191 1208 1141 hyphenation exceptions out of 8191
1209 54i,20n,63p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s 1209 54i,20n,64p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s
1210</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb> 1210</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
1211Output written on preplogic-slides.pdf (71 pages, 363451 bytes). 1211Output written on preplogic-slides.pdf (71 pages, 364862 bytes).
1212PDF statistics: 1212PDF statistics:
1213 2027 PDF objects out of 2073 (max. 8388607) 1213 2027 PDF objects out of 2073 (max. 8388607)
1214 1904 compressed objects within 20 object streams 1214 1904 compressed objects within 20 object streams

Generated with cgit - Back to sebastiano.tronto.net