diff -r 5499ba68188c -r f65444d29e74 thys2/Journal/root.log --- a/thys2/Journal/root.log Mon Nov 01 10:52:44 2021 +0000 +++ b/thys2/Journal/root.log Tue Nov 02 13:57:59 2021 +0000 @@ -1,4 +1,4 @@ -This is LuaTeX, Version 1.07.0 (TeX Live 2018) (format=lualatex 2019.2.7) 1 NOV 2021 09:38 +This is LuaTeX, Version 1.07.0 (TeX Live 2018) (format=lualatex 2019.2.7) 1 NOV 2021 11:19 restricted system commands enabled. **root.tex (./root.tex @@ -34,7 +34,7 @@ '. Inserting `luaotfload.rewrite_fontname' at position 4 in `luaotfload.patch_font' . -luaotfload | main : initialization completed in 0.091 seconds +luaotfload | main : initialization completed in 0.120 seconds Babel <3.18> and hyphenation patterns for 1 language(s) loaded. (./llncs.cls Document Class: llncs 2002/01/28 v2.13 @@ -1580,147 +1580,147 @@ ) (./Paper.tex -LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 82. +LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 78. -LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 96. +LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 92. -LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 97. +LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 93. -LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 98. +LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 94. [41] -LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 103. +LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 99. -LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 104. +LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 100. -LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 104. +LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 100. -LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 104. +LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 100. -LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 104. +LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 100. -LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 104 +LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 100 . -LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 121. +LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 117. [42] -LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 160. +LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 156. LaTeX Warning: Citation `HosoyaVouillonPierce2005' on page 43 undefined on input - line 182. + line 178. -LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 204. +LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 200. -LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 208. +LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 204. -LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 213. +LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 209. -LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 221. +LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 217. -LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 222. +LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 218. -LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 223 +LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 219 . [43] -LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 235. +LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 231. -LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 237 +LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 233 . -LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238. +LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 234. (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font s/otl/lmroman8-regular.luc) -LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 242. +LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238. -LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 246. +LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 242. (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font s/otl/lmroman10-bolditalic.luc) [44] LaTeX Font Warning: Font shape `U/stmry/b/n' undefined -(Font) using `U/stmry/m/n' instead on input line 325. +(Font) using `U/stmry/m/n' instead on input line 321. -LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 330. +LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 326. (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font s/otl/lmroman6-regular.luc) -LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 345. +LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 341. -Overfull \hbox (1.4002pt too wide) in paragraph at lines 352--373 +Overfull \hbox (1.4002pt too wide) in paragraph at lines 348--369 [] [] [45] -LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 408. +LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 404. -LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 432. +LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 428. -LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 449. +LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 445. -LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 450. +LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 446. LaTeX Warning: Citation `AusafDyckhoffUrban2016' on page 46 undefined on input l -ine 482. +ine 478. [46] -LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 519. +LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 515. -LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 519. +LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 515. -Underfull \hbox (badness 10000) in paragraph at lines 579--580 +Underfull \hbox (badness 10000) in paragraph at lines 575--576 [] -LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 590. +LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586. -LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 590. +LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586. [47] -LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 610. +LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 606. Underfull \vbox (badness 10000) has occurred while \output is active [] @@ -1728,61 +1728,61 @@ [48] [49] -LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 718. +LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 714. -LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 725 +LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 721 . (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font s/otl/lmroman5-regular.luc) [50] [51] [52] -LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 938. +LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 934. -LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 940. +LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 936. -LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 947. +LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 943. -LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 947. +LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 943. [53] [54] -LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1069 +LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1065 . -LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1090 +LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1086 . -LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1130 +LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1126 . [55] -Overfull \hbox (47.18065pt too wide) in paragraph at lines 1154--1184 +Overfull \hbox (47.18065pt too wide) in paragraph at lines 1150--1180 [] [] [] [56] [57] -LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1351. +LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1347. (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font s/otl/lmroman8-bold.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-var/l uatex-cache/generic/fonts/otl/lmroman5-bold.luc) -LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1370. +LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1366. Underfull \vbox (badness 10000) has occurred while \output is active [] [58] -Overfull \hbox (4.61574pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (4.61574pt too wide) in paragraph at lines 1430--1431 \OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $ \OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/1 0 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 in-tern$\OT1/pplx/m @@ -1795,7 +1795,7 @@ [] -Overfull \hbox (43.28516pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (43.28516pt too wide) in paragraph at lines 1430--1431 \OT1/pplx/m/n/10 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$ \OT1/zplm/m/n/10 $$ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/1 @@ -1807,7 +1807,7 @@ [] -Overfull \hbox (31.37523pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (31.37523pt too wide) in paragraph at lines 1430--1431 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabul ar$\OMS/zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/1 0 center$\OMS/zplm/m/n/10 g$ \TU/lmr/m/it/10 Some sim-ple facts about erase $ @@ -1816,7 +1816,7 @@ [] -Overfull \hbox (4.57928pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (4.57928pt too wide) in paragraph at lines 1430--1431 \OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($ \TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable$\OT1/pplx/m/ n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n @@ -1828,7 +1828,7 @@ [] -Overfull \hbox (7.7924pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (7.7924pt too wide) in paragraph at lines 1430--1431 \OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul -lable$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it /10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &$ $\OT1/zplm/m @@ -1840,7 +1840,7 @@ [] -Overfull \hbox (34.28575pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (34.28575pt too wide) in paragraph at lines 1430--1431 \TU/lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 3$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 & $ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $ @@ -1854,7 +1854,7 @@ [] -Overfull \hbox (3.47198pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (3.47198pt too wide) in paragraph at lines 1430--1431 \OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($ \TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bmkeps$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n/10 @@ -1865,7 +1865,7 @@ [] -Overfull \hbox (2.7528pt too wide) in paragraph at lines 1434--1435 +Overfull \hbox (2.7528pt too wide) in paragraph at lines 1430--1431 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 noindent Def-i-ni-tion of the bit-coded lexe r $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm blexer[]def$\OMS /zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 t @@ -1876,7 +1876,7 @@ Underfull \vbox (badness 10000) has occurred while \output is active [] [60] -Overfull \hbox (2.67558pt too wide) in paragraph at lines 1438--1447 +Overfull \hbox (2.67558pt too wide) in paragraph at lines 1434--1443 \TU/lmr/m/it/10 ac-cord-ing to rules like $\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 equation$\OMS/zplm/m/n/10 g$$n$\TU/lmr /m/it/10 label$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 Simpl$\OMS/zplm/m/n/10 g$ $n$ @@ -1885,7 +1885,7 @@ [] -Overfull \hbox (35.68385pt too wide) in paragraph at lines 1438--1447 +Overfull \hbox (35.68385pt too wide) in paragraph at lines 1434--1443 \TU/lmr/m/it/10 F[]SEQ1$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/ 10 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/1 0 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/1 @@ -1898,7 +1898,7 @@ [] -Overfull \hbox (18.66588pt too wide) in paragraph at lines 1438--1447 +Overfull \hbox (18.66588pt too wide) in paragraph at lines 1434--1443 \OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm L[]fst[]simp$\OT 1/zplm/m/n/10 [$\TU/lmr/m/it/10 symmetric$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/10 g$$n$$n$ $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$ $\OT1/pplx/m @@ -1922,15 +1922,9 @@ (./root.aux) Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 96. Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 96. - +Package rerunfilecheck Info: File `root.out' has not changed. +(rerunfilecheck) Checksum: F68486A1B88421815EBCC3CB75200893;512. -Package rerunfilecheck Warning: File `root.out' has changed. -(rerunfilecheck) Rerun to get outlines right -(rerunfilecheck) or use package `bookmark'. - -Package rerunfilecheck Info: Checksums for `root.out': -(rerunfilecheck) Before: 40AB4FCF7DFB133886AD9117C6B3D022;396 -(rerunfilecheck) After: F68486A1B88421815EBCC3CB75200893;512. LaTeX Font Warning: Size substitutions with differences (Font) up to 2.26395pt have occurred. @@ -1938,32 +1932,19 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted. - -LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. - Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 96. ) Here is how much of LuaTeX's memory you used: - 29104 strings out of 494413 + 29101 strings out of 494413 156265,794899 words of node,token memory allocated 1590 words of node memory still in use: 9 hlist, 2 vlist, 2 rule, 11 disc, 21 glue, 7 kern, 98 glyph, 33 attribute, 5 7 glue_spec, 33 attribute_list, 1 write nodes - avail lists: 2:6992,3:290,4:52,5:2358,6:47,7:12582,8:52,9:593,10:23,11:398 - 31952 multiletter control sequences out of 65536+600000 + avail lists: 2:6992,3:291,4:52,5:2358,6:47,7:12582,8:52,9:593,10:23,11:398 + 31954 multiletter control sequences out of 65536+600000 282 fonts using 23215399 bytes 55i,23n,68p,45885b,993s stack positions out of 5000i,500n,10000p,200000b,100000s - -warning (pdf backend): unreferenced destination with name 'equation.1.6.2' - -warning (pdf backend): unreferenced destination with name 'theorem.1.4.3' - -warning (pdf backend): unreferenced destination with name 'theorem.1.3.2' - -warning (pdf backend): unreferenced destination with name 'theorem.1.3.1' - -warning (pdf backend): unreferenced destination with name 'equation.1.2.1' -Output written on root.pdf (65 pages, 375818 bytes). +Output written on root.pdf (65 pages, 375799 bytes). -PDF statistics: 526 PDF objects out of 1000 (max. 8388607) - 411 compressed objects within 5 object streams - 112 named destinations out of 1000 (max. 131072) - 72 words of extra memory for PDF output out of 10000 (max. 100000000) +PDF statistics: 527 PDF objects out of 1000 (max. 8388607) + 412 compressed objects within 5 object streams + 107 named destinations out of 1000 (max. 131072) + 88 words of extra memory for PDF output out of 10000 (max. 100000000)