projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes
[cdsspec-compiler.git]
/
correctness-model
/
writeup
/
paper.log
diff --git
a/correctness-model/writeup/paper.log
b/correctness-model/writeup/paper.log
index 7b659036cf43824d1436c02117b4fc7fc7648db8..f101d8e69c36efedf258e02503f7bb9f78a6e366 100644
(file)
--- a/
correctness-model/writeup/paper.log
+++ b/
correctness-model/writeup/paper.log
@@
-1,4
+1,4
@@
-This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.3.31) 10 APR 2015 1
0:40
+This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.3.31) 10 APR 2015 1
6:03
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
@@
-619,7
+619,7
@@
LaTeX Font Info: Font shape `T1/ptm/bx/sc' in size <9> not available
(Font) Font shape `T1/ptm/b/sc' tried instead on input line 176.
[2 <./figures/specworkflow.pdf>])
(./formalization.tex
(Font) Font shape `T1/ptm/b/sc' tried instead on input line 176.
[2 <./figures/specworkflow.pdf>])
(./formalization.tex
-Underfull \hbox (badness 4981) in paragraph at lines
34--40
+Underfull \hbox (badness 4981) in paragraph at lines
93--99
\T1/ptm/b/n/9 Hoisting loads: $\OMS/cmsy/m/n/9 8\OML/cmm/m/it/9 X; Y; X \OMS/cm
sy/m/n/9 2 [] ^ \OML/cmm/m/it/9 Y \OMS/cmsy/m/n/9 2
[]
\T1/ptm/b/n/9 Hoisting loads: $\OMS/cmsy/m/n/9 8\OML/cmm/m/it/9 X; Y; X \OMS/cm
sy/m/n/9 2 [] ^ \OML/cmm/m/it/9 Y \OMS/cmsy/m/n/9 2
[]
@@
-638,11
+638,11
@@
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 182.
Here is how much of TeX's memory you used:
9020 strings out of 493308
129583 string characters out of 6140092
Here is how much of TeX's memory you used:
9020 strings out of 493308
129583 string characters out of 6140092
- 25
2
583 words of memory out of 5000000
+ 25
6
583 words of memory out of 5000000
12319 multiletter control sequences out of 15000+600000
67735 words of font info for 70 fonts, out of 8000000 for 9000
957 hyphenation exceptions out of 8191
12319 multiletter control sequences out of 15000+600000
67735 words of font info for 70 fonts, out of 8000000 for 9000
957 hyphenation exceptions out of 8191
- 41i,12n,58p,446b,41
8
s stack positions out of 5000i,500n,10000p,200000b,80000s
+ 41i,12n,58p,446b,41
4
s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb></usr/share/texlive/texmf-dist/f
{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb></usr/share/texlive/texmf-dist/f
@@
-653,7
+653,7
@@
courier/ucrr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvb
/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/font
s/type1/urw/times/utmri8a.pfb>
/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/font
s/type1/urw/times/utmri8a.pfb>
-Output written on paper.pdf (4 pages, 1
47616
bytes).
+Output written on paper.pdf (4 pages, 1
51101
bytes).
PDF statistics:
64 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)
PDF statistics:
64 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)