summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/example/paper/paper.log
blob: 8dd026336402cae52b5cdc474297cb08c57842d0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009) (format=pdflatex 2009.11.16)  25 JUN 2010 12:13
entering extended mode
 file:line:error style messages enabled.
 %&-line parsing enabled.
**paper.tex
(./paper.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, german-x-2009-06-19, ngerman-x-2009-06-19, ancientgreek, ibycus, ar
abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc
h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono
greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, ku
rmanji, latin, latvian, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, po
lish, portuguese, romanian, russian, sanskrit, serbian, slovak, slovenian, span
ish, swedish, turkish, ukenglish, ukrainian, uppersorbian, welsh, loaded.
(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.cls
Document Class: omdoc 2010/06/25 v1.0 OMDoc Documents
(/usr/local/texlive/2009/texmf-dist/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/local/texlive/2009/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.sty
Package: omdoc 2010/06/25 v1.0 OMDoc document Structure
\section@level=\count87

(/Users/kohlhase/stc/stex/sty/sref/sref.sty
Package: sref 2010/06/25 v0.9 Semantic Cross-References

(/Users/kohlhase/stc/stex/sty/omd/omd.sty
Package: omd 2010/06/25 v0.9 OMDoc Metadata Framework

(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)))
(/usr/local/texlive/2009/texmf-dist/tex/latex/comment/comment.sty
\CommentStream=\write3

Excluding comment 'comment') Excluding comment 'ignore'))
(/Users/kohlhase/stc/stex/sty/stex.sty
Package: stex 2010/02/04 v0.9b Semantic Markup

(/Users/kohlhase/stc/stex/sty/stex-logo.sty
Package: stex-logo 2009/08/07 v1.0 sTeX Logo

(/usr/local/texlive/2009/texmf-dist/tex/latex/tools/xspace.sty
Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH)
))
(/Users/kohlhase/stc/stex/sty/modules/modules.sty
Package: modules 2010/06/25 v1.0 Semantic Markup

(/usr/local/texlive/2009/texmf-dist/tex/latex/seminar/xcomment.sty
Style-Option: `xcomment' v1.2 <93/02/12> (tvz) 
\tokout=\write4
\tokin=\read1
)) (/Users/kohlhase/stc/stex/sty/omtext/omtext.sty
Package: omtext 2010/06/25 v1.0 OMDoc Text Fragments
\@indexfile=\write5
\openout5 = `paper.idx'.


Writing index file paper.idx
) (/Users/kohlhase/stc/stex/sty/statements/statements.sty
Package: statements 2010/06/25 v1.0 Semantic Markup for Statements

(/usr/local/texlive/2009/texmf-dist/tex/latex/ntheorem/ntheorem.sty
Style `ntheorem', Version 1.25 <2005/07/07>
Package: ntheorem 2005/07/07 1.25
\theorem@style=\toks15
\theorem@@style=\toks16
\theorembodyfont=\toks17
\theoremnumbering=\toks18
\theorempreskipamount=\skip43
\theorempostskipamount=\skip44
\theoremindent=\dimen103
\theorem@indent=\dimen104
\theoremheaderfont=\toks19
\theoremseparator=\toks20
\theoremprework=\toks21
\theorempostwork=\toks22
\theoremsymbol=\toks23
\qedsymbol=\toks24
\theoremkeyword=\toks25
\qedsymbol=\toks26
\thm@topsepadd=\skip45
)
\c@STtheoremAssEnv=\count88
) (/Users/kohlhase/stc/stex/sty/sproof/sproof.sty
Package: sproof 2010/06/25 v0.9f Semantic Markup for Proofs
)
(/Users/kohlhase/stc/stex/sty/presentation/presentation.sty
Package: presentation 2010/06/25 v1.0 presentation for semantic macros
)
(/Users/kohlhase/stc/stex/sty/dcm/dcm.sty
Package: dcm 2010/06/25 v0.3 Dublin Core Metadata
))
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2009/06/22 v3.00

(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
\@emptytoks=\toks27
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 96.
))
(/usr/local/texlive/2009/texmf-dist/tex/latex/base/alltt.sty
Package: alltt 1997/06/16 v2.0g defines alltt environment
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifpdf.sty
Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in pdf mode detected.
)
(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifvtex.sty
Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO)
Package ifvtex Info: VTeX not detected.
)
(/usr/local/texlive/2009/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/hycolor.sty
Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H
O)

(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
Package: xcolor-patch 2009/10/02 xcolor patch
))
\@linkdim=\dimen105
\Hy@linkcounter=\count89
\Hy@pagecounter=\count90

(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO)
)
(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/etexcmds.sty
Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO)

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO)
)
Package etexcmds Info: Could not find \expanded.
(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
(etexcmds)             that some package has redefined \expanded.
(etexcmds)             In the latter case, load this package earlier.
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO)

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor
t (HO)
))
Package hyperref Info: Hyper figures OFF on input line 2975.
Package hyperref Info: Link nesting OFF on input line 2980.
Package hyperref Info: Hyper index ON on input line 2983.
Package hyperref Info: Plain pages OFF on input line 2990.
Package hyperref Info: Backreferencing OFF on input line 2995.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 3191.
(/usr/local/texlive/2009/texmf-dist/tex/latex/ltxmisc/url.sty
\Urlmuskip=\muskip10
Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 3428.

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bitset.sty
Package: bitset 2007/09/28 v1.0 Data type bit set (HO)

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/intcalc.sty
Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
)
(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bigintcalc.sty
Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO)

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions
 (HO)

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifluatex.sty
Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
)
(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO
)
)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
)))
\Fld@menulength=\count91
\Field@Width=\dimen106
\Fld@charsize=\dimen107
\Field@toks=\toks28
Package hyperref Info: Hyper figures OFF on input line 4377.
Package hyperref Info: Link nesting OFF on input line 4382.
Package hyperref Info: Hyper index ON on input line 4385.
Package hyperref Info: backreferencing OFF on input line 4392.
Package hyperref Info: Link coloring OFF on input line 4397.
Package hyperref Info: Link coloring with OCG OFF on input line 4402.
Package hyperref Info: PDF/A mode OFF on input line 4407.

(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/atbegshi.sty
Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO)
)
\Hy@abspage=\count92
\c@Item=\count93
\c@Hfootnote=\count94
)
*hyperref using default driver hpdftex*
(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX
\Fld@listcount=\count95
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count96
\lst@gtempboxa=\box26
\lst@token=\toks29
\lst@length=\count97
\lst@currlwidth=\dimen108
\lst@column=\count98
\lst@pos=\count99
\lst@lostspace=\dimen109
\lst@width=\dimen110
\lst@newlines=\count100
\lst@lineno=\count101
\lst@maxwidth=\dimen111

(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
\c@lstnumber=\count102
\lst@skipnumbers=\count103
\lst@framebox=\box27
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.cfg
File: listings.cfg 2007/02/22 1.4 listings configuration
))
Package: listings 2007/02/22 1.4 (Carsten Heinz)

(./paper.aux)
\openout1 = `paper.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
Package hyperref Info: Link coloring OFF on input line 16.

(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section

(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/refcount.sty
Package: refcount 2008/08/11 v3.1 Data extraction from references (HO)
)
\c@section@level=\count104
)
LaTeX Info: Redefining \ref on input line 16.
LaTeX Info: Redefining \pageref on input line 16.

(./paper.out) (./paper.out)
\@outlinefile=\write6
\openout6 = `paper.out'.

\AtBeginShipoutBox=\box28
\c@lstlisting=\count105
LaTeX Font Info:    Try loading font information for U+msa on input line 25.

(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2009/06/22 v3.00 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 25.

(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2009/06/22 v3.00 AMS symbols B
)
\c@authors=\count106

authors: &Michael Kohlhase [1

{/usr/local/texlive/2009/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]

LaTeX Warning: Citation `Kohlhase:ssmtl*' on page 2 undefined on input line 72.


LaTeX Font Info:    Font shape `OT1/cmtt/bx/n' in size <10> not available
(Font)              Font shape `OT1/cmtt/m/n' tried instead on input line 80.
(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang1.sty
File: lstlang1.sty 2004/09/05 1.3 listings language file
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang2.sty
File: lstlang2.sty 2004/09/05 1.3 listings language file
)
(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
)
Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on i
nput line 91.
 (./Makefile) (./continuous.tex [2] (../background/functions.sms) (../backgroun
d/reals.sms)
Package hyperref Info: bookmark level for unknown STdefinitionEnv defaults to 0
 on input line 8.
) (./differentiable.tex) (./paper.bbl
Overfull \hbox (69.37538pt too wide) in paragraph at lines 119--22
\OT1/cmr/m/n/10 shown how a a []T[]X col-lec-tion can be set up for au-toma-tio
n.                                        
 []

)
\tf@thm=\write7
\openout7 = `paper.thm'.

 [3] (./paper.aux)

LaTeX Warning: There were undefined references.

 ) 
Here is how much of TeX's memory you used:
 6658 strings out of 493848
 99522 string characters out of 3149206
 189428 words of memory out of 3000000
 9759 multiletter control sequences out of 15000+200000
 12316 words of font info for 48 fonts, out of 3000000 for 9000
 714 hyphenation exceptions out of 8191
 43i,12n,52p,271b,1168s stack positions out of 5000i,500n,10000p,200000b,50000s
</usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb
></usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb>
</usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb><
/usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></u
sr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr
/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/l
ocal/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/loc
al/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb></usr/local/
texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/local/tex
live/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/local/texliv
e/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/local/texlive
/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/local/texlive/2
009/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/local/texlive/20
09/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/local/texlive/200
9/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on paper.pdf (3 pages, 190417 bytes).
PDF statistics:
 154 PDF objects out of 1000 (max. 8388607)
 38 named destinations out of 1000 (max. 500000)
 65 words of extra memory for PDF output out of 10000 (max. 10000000)