X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=correctness-model%2Fwriteup%2Fpaper.log;h=f101d8e69c36efedf258e02503f7bb9f78a6e366;hp=7b659036cf43824d1436c02117b4fc7fc7648db8;hb=e8942c527bf582229e12d9a922a099dd168375d6;hpb=f7207fbf6086300565ee3f30c220fd37a891eb4e

diff --git a/correctness-model/writeup/paper.log b/correctness-model/writeup/paper.log
index 7b65903..f101d8e 100644
--- 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 10:40
+This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.3.31)  10 APR 2015 16:03
 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
-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
  []
@@ -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
- 252583 words of memory out of 5000000
+ 256583 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
- 41i,12n,58p,446b,418s stack positions out of 5000i,500n,10000p,200000b,80000s
+ 41i,12n,58p,446b,414s 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
@@ -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>
-Output written on paper.pdf (4 pages, 147616 bytes).
+Output written on paper.pdf (4 pages, 151101 bytes).
 PDF statistics:
  64 PDF objects out of 1000 (max. 8388607)
  0 named destinations out of 1000 (max. 500000)