1
This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2009.9.28) 25 NOV 2009 10:58
3
%&-line parsing enabled.
7
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
8
yphenation, croatian, ukrainian, russian, bulgarian, czech, slovak, danish, dut
9
ch, finnish, basque, french, german, ngerman, ibycus, greek, monogreek, ancient
10
greek, hungarian, italian, latin, mongolian, norsk, icelandic, interlingua, tur
11
kish, coptic, romanian, welsh, serbian, slovenian, estonian, esperanto, upperso
12
rbian, indonesian, polish, portuguese, spanish, catalan, galician, swedish, loa
14
(/usr/share/texmf-texlive/tex/latex/base/article.cls
15
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
16
(/usr/share/texmf-texlive/tex/latex/base/size12.clo
17
File: size12.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
21
\c@subsection=\count81
22
\c@subsubsection=\count82
24
\c@subparagraph=\count84
27
\abovecaptionskip=\skip41
28
\belowcaptionskip=\skip42
31
(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
32
Package: inputenc 2006/05/05 v1.1b Input encoding file
33
\inpenc@prehook=\toks14
34
\inpenc@posthook=\toks15
36
(/usr/share/texmf-texlive/tex/latex/base/latin1.def
37
File: latin1.def 2006/05/05 v1.1b Input encoding file
39
(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
40
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
42
(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
43
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
46
(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
47
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)
49
(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
50
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
52
(/etc/texmf/tex/latex/config/graphics.cfg
53
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
55
Package graphics Info: Driver file: pdftex.def on input line 90.
57
(/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def
58
File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX
59
\Gread@gobject=\count87
61
\Gin@req@height=\dimen103
62
\Gin@req@width=\dimen104
64
(/usr/share/texmf-texlive/tex/latex/graphics/color.sty
65
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
67
(/etc/texmf/tex/latex/config/color.cfg
68
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
70
Package color Info: Driver file: pdftex.def on input line 130.
72
(/usr/share/texmf-texlive/tex/latex/microtype/microtype.sty
73
Package: microtype 2007/01/21 v2.0 Micro-typography with pdfTeX (RS)
76
LaTeX Info: Redefining \lsstyle on input line 1370.
77
LaTeX Info: Redefining \lslig on input line 1370.
78
LaTeX Info: Redefining \textls on input line 1371.
80
Package microtype Info: Loading configuration file microtype.cfg.
82
(/usr/share/texmf-texlive/tex/latex/microtype/microtype.cfg
83
File: microtype.cfg 2007/01/14 v2.0 microtype main configuration file (RS)
85
(/usr/share/texmf-texlive/tex/latex/iwona/iwona.sty
86
Package: iwona 2005/10/03 v.1.2 Iwona package (MW)
88
(/usr/share/texmf-texlive/tex/latex/tools/multicol.sty
89
Package: multicol 2006/05/18 v1.6g multicolumn formatting (FMi)
90
\c@tracingmulticols=\count89
92
\multicol@leftmargin=\dimen106
94
\c@collectmore=\count91
95
\doublecol@number=\count92
96
\multicoltolerance=\count93
97
\multicolpretolerance=\count94
100
\premulticols=\dimen109
101
\postmulticols=\dimen110
103
\multicolbaselineskip=\skip44
106
\mult@rightbox=\box29
107
\mult@grightbox=\box30
108
\mult@gfirstbox=\box31
109
\mult@firstbox=\box32
127
\c@columnbadness=\count95
128
\c@finalcolumnbadness=\count96
130
\multicolovershoot=\dimen112
131
\multicolundershoot=\dimen113
132
\mult@nat@firstbox=\box50
135
(/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
136
Package: hyperref 2007/02/07 v6.75r Hypertext links for LaTeX
138
\Hy@linkcounter=\count97
139
\Hy@pagecounter=\count98
141
(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def
142
File: pd1enc.def 2007/02/07 v6.75r Hyperref: PDFDocEncoding definition (HO)
144
(/etc/texmf/tex/latex/config/hyperref.cfg
145
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
147
(/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
148
Package: kvoptions 2006/08/22 v2.4 Connects package keyval with LaTeX options (
151
Package hyperref Info: Option `colorlinks' set `true' on input line 2238.
152
Package hyperref Info: Hyper figures OFF on input line 2288.
153
Package hyperref Info: Link nesting OFF on input line 2293.
154
Package hyperref Info: Hyper index ON on input line 2296.
155
Package hyperref Info: Plain pages OFF on input line 2303.
156
Package hyperref Info: Backreferencing OFF on input line 2308.
158
Implicit mode ON; LaTeX internals redefined
159
Package hyperref Info: Bookmarks ON on input line 2444.
160
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty
162
Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc.
164
LaTeX Info: Redefining \url on input line 2599.
165
\Fld@menulength=\count99
166
\Field@Width=\dimen115
167
\Fld@charsize=\dimen116
170
Package hyperref Info: Hyper figures OFF on input line 3102.
171
Package hyperref Info: Link nesting OFF on input line 3107.
172
Package hyperref Info: Hyper index ON on input line 3110.
173
Package hyperref Info: backreferencing OFF on input line 3117.
174
Package hyperref Info: Link coloring ON on input line 3120.
175
\Hy@abspage=\count100
177
\c@Hfootnote=\count102
179
*hyperref using default driver hpdftex*
180
(/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def
181
File: hpdftex.def 2007/02/07 v6.75r Hyperref driver for pdfTeX
182
\Fld@listcount=\count103
185
LaTeX Warning: Unused global option(s):
188
(./dicelab_manual.aux)
189
\openout1 = `dicelab_manual.aux'.
191
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30.
192
LaTeX Font Info: ... okay on input line 30.
193
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30.
194
LaTeX Font Info: ... okay on input line 30.
195
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30.
196
LaTeX Font Info: ... okay on input line 30.
197
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30.
198
LaTeX Font Info: ... okay on input line 30.
199
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30.
200
LaTeX Font Info: ... okay on input line 30.
201
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 30.
202
LaTeX Font Info: ... okay on input line 30.
203
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 30.
204
LaTeX Font Info: ... okay on input line 30.
205
LaTeX Font Info: Try loading font information for OT1+iwona on input line 30
207
(/usr/share/texmf-texlive/tex/latex/iwona/ot1iwona.fd
208
File: ot1iwona.fd 2005/10/05 v1.2 font definition file for OT1/iwona (MW)
210
(/usr/share/texmf/tex/context/base/supp-pdf.tex
211
[Loading MPS to PDF converter (version 2006.09.02).]
212
\scratchcounter=\count104
213
\scratchdimen=\dimen117
215
\nofMPsegments=\count105
216
\nofMParguments=\count106
217
\everyMPshowfont=\toks20
218
\MPscratchCnt=\count107
219
\MPscratchDim=\dimen118
220
\MPnumerator=\count108
221
\everyMPtoPDFconversion=\toks21
223
Package microtype Info: Generating PDF output.
224
Package microtype Info: Character protrusion enabled (level 2).
225
Package microtype Info: Using default protrusion set `alltext'.
226
Package microtype Info: Automatic font expansion enabled (level 2),
227
(microtype) stretch: 20, shrink: 20, step: 4, non-selected.
228
Package microtype Info: Using default expansion set `basictext'.
229
Package microtype Info: No tracking.
230
Package microtype Info: No adjustment of interword spacing.
231
Package microtype Info: No adjustment of character kerning.
232
Package hyperref Info: Link coloring ON on input line 30.
233
(/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
234
Package: nameref 2006/12/27 v2.28 Cross-referencing by name of section
236
(/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty
237
Package: refcount 2006/02/20 v3.0 Data extraction from references (HO)
239
\c@section@level=\count109
241
LaTeX Info: Redefining \ref on input line 30.
242
LaTeX Info: Redefining \pageref on input line 30.
244
(./dicelab_manual.out) (./dicelab_manual.out)
245
\@outlinefile=\write3
246
\openout3 = `dicelab_manual.out'.
250
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] <copyleft.pdf, id=129, 158
251
.19101pt x 158.19101pt>
252
File: copyleft.pdf Graphic file (type pdf)
254
<use copyleft.pdf> [2
258
pdfTeX warning: pdflatex (file ./copyleft.pdf): PDF inclusion: Page Group detec
259
ted which pdfTeX can't handle. Ignoring it.
260
>] (./dicelab_manual.toc
261
(/usr/share/texmf-texlive/tex/latex/microtype/mt-cmr.cfg
262
File: mt-cmr.cfg 2005/11/07 v1.9 microtype config. file: Computer Modern Roman
265
LaTeX Font Info: External font `cmex10' loaded for size
266
(Font) <12> on input line 3.
267
LaTeX Font Info: External font `cmex10' loaded for size
268
(Font) <8> on input line 3.
269
LaTeX Font Info: External font `cmex10' loaded for size
270
(Font) <6> on input line 3.
273
\openout4 = `dicelab_manual.toc'.
280
Overfull \hbox (2.66399pt too wide) in paragraph at lines 163--174
284
LaTeX Font Info: Try loading font information for OMS+iwona on input line 17
286
(/usr/share/texmf-texlive/tex/latex/iwona/omsiwona.fd
287
File: omsiwona.fd 2005/10/05 v1.2 font definition file for OMS/iwona (MW)
289
<syntax1.pdf, id=206, 260.975pt x 118.4425pt>
290
File: syntax1.pdf Graphic file (type pdf)
292
<syntax-dice.pdf, id=207, 195.73125pt x 86.3225pt>
293
File: syntax-dice.pdf Graphic file (type pdf)
294
<use syntax-dice.pdf>
297
pdfTeX warning: pdflatex (file ./syntax1.pdf): PDF inclusion: Page Group detect
298
ed which pdfTeX can't handle. Ignoring it.
301
pdfTeX warning: pdflatex (file ./syntax-dice.pdf): PDF inclusion: Page Group de
302
tected which pdfTeX can't handle. Ignoring it.
303
>] <syntax-math.pdf, id=218, 262.9825pt x 258.9675pt>
304
File: syntax-math.pdf Graphic file (type pdf)
305
<use syntax-math.pdf>
306
<syntax-scalarconcat.pdf, id=219, 232.87pt x 86.3225pt>
307
File: syntax-scalarconcat.pdf Graphic file (type pdf)
309
<use syntax-scalarconcat.pdf>
310
<syntax-sumprod.pdf, id=220, 235.88126pt x 130.4875pt>
311
File: syntax-sumprod.pdf Graphic file (type pdf)
313
<use syntax-sumprod.pdf> [11 <./syntax-math.pdf
315
pdfTeX warning: pdflatex (file ./syntax-math.pdf): PDF inclusion: Page Group de
316
tected which pdfTeX can't handle. Ignoring it.
317
> <./syntax-scalarconcat.pdf
319
pdfTeX warning: pdflatex (file ./syntax-scalarconcat.pdf): PDF inclusion: Page
320
Group detected which pdfTeX can't handle. Ignoring it.
321
>] <syntax-count.pdf, id=231, 216.81pt x 86.3225pt>
322
File: syntax-count.pdf Graphic file (type pdf)
323
<use syntax-count.pdf>
324
<syntax-listrep.pdf, id=232, 239.89626pt x 86.3225pt>
325
File: syntax-listrep.pdf Graphic file (type pdf)
326
<use syntax-listrep.pdf>
327
<syntax-range.pdf, id=233, 235.88126pt x 86.3225pt>
328
File: syntax-range.pdf Graphic file (type pdf)
329
<use syntax-range.pdf>
330
[12 <./syntax-sumprod.pdf
332
pdfTeX warning: pdflatex (file ./syntax-sumprod.pdf): PDF inclusion: Page Group
333
detected which pdfTeX can't handle. Ignoring it.
334
> <./syntax-count.pdf
336
pdfTeX warning: pdflatex (file ./syntax-count.pdf): PDF inclusion: Page Group d
337
etected which pdfTeX can't handle. Ignoring it.
338
> <./syntax-listrep.pdf
340
pdfTeX warning: pdflatex (file ./syntax-listrep.pdf): PDF inclusion: Page Group
341
detected which pdfTeX can't handle. Ignoring it.
342
>] <syntax-listconcat.pdf, id=247, 256.96pt x 118.4425pt>
343
File: syntax-listconcat.pdf Graphic file (type pdf)
345
<use syntax-listconcat.pdf>
346
<syntax-ordering.pdf, id=248, 238.8925pt x 162.6075pt>
347
File: syntax-ordering.pdf Graphic file (type pdf)
349
<use syntax-ordering.pdf> [13 <./syntax-range.pdf
351
pdfTeX warning: pdflatex (file ./syntax-range.pdf): PDF inclusion: Page Group d
352
etected which pdfTeX can't handle. Ignoring it.
353
> <./syntax-listconcat.pdf
355
pdfTeX warning: pdflatex (file ./syntax-listconcat.pdf): PDF inclusion: Page Gr
356
oup detected which pdfTeX can't handle. Ignoring it.
357
> <./syntax-ordering.pdf
359
pdfTeX warning: pdflatex (file ./syntax-ordering.pdf): PDF inclusion: Page Grou
360
p detected which pdfTeX can't handle. Ignoring it.
361
>] <syntax-lowhigh.pdf, id=263, 368.37625pt x 162.6075pt>
362
File: syntax-lowhigh.pdf Graphic file (type pdf)
364
<use syntax-lowhigh.pdf>
365
Overfull \hbox (0.5725pt too wide) in paragraph at lines 284--286
366
\OT1/iwona/m/n/12 (-20) These fil-ter op-er-a-tors re-move some el-e-ments from
367
a list. For ex-am-ple []\OT1/cmtt/m/n/12 sum drop low 1 3#d6
370
<syntax-firstlast.pdf, id=264, 366.36874pt x 162.6075pt>
371
File: syntax-firstlast.pdf Graphic file (type pdf)
373
<use syntax-firstlast.pdf>
374
<syntax-filter.pdf, id=265, 364.36125pt x 258.9675pt>
375
File: syntax-filter.pdf Graphic file (type pdf)
376
<use syntax-filter.pdf>
377
[14 <./syntax-lowhigh.pdf
379
pdfTeX warning: pdflatex (file ./syntax-lowhigh.pdf): PDF inclusion: Page Group
380
detected which pdfTeX can't handle. Ignoring it.
381
> <./syntax-firstlast.pdf
383
pdfTeX warning: pdflatex (file ./syntax-firstlast.pdf): PDF inclusion: Page Gro
384
up detected which pdfTeX can't handle. Ignoring it.
385
>] <syntax-let.pdf, id=276, 359.3425pt x 86.3225pt>
386
File: syntax-let.pdf Graphic file (type pdf)
388
<syntax-foreach.pdf, id=277, 389.455pt x 86.3225pt>
389
File: syntax-foreach.pdf Graphic file (type pdf)
390
<use syntax-foreach.pdf>
391
[15 <./syntax-filter.pdf
393
pdfTeX warning: pdflatex (file ./syntax-filter.pdf): PDF inclusion: Page Group
394
detected which pdfTeX can't handle. Ignoring it.
397
pdfTeX warning: pdflatex (file ./syntax-let.pdf): PDF inclusion: Page Group det
398
ected which pdfTeX can't handle. Ignoring it.
399
>] <syntax-while.pdf, id=288, 377.41pt x 86.3225pt>
400
File: syntax-while.pdf Graphic file (type pdf)
401
<use syntax-while.pdf>
402
<syntax-if.pdf, id=289, 384.43625pt x 118.4425pt>
403
File: syntax-if.pdf Graphic file (type pdf)
404
<use syntax-if.pdf> [16 <./syntax-foreach.pdf
406
pdfTeX warning: pdflatex (file ./syntax-foreach.pdf): PDF inclusion: Page Group
407
detected which pdfTeX can't handle. Ignoring it.
408
> <./syntax-while.pdf
410
pdfTeX warning: pdflatex (file ./syntax-while.pdf): PDF inclusion: Page Group d
411
etected which pdfTeX can't handle. Ignoring it.
414
pdfTeX warning: pdflatex (file ./syntax-if.pdf): PDF inclusion: Page Group dete
415
cted which pdfTeX can't handle. Ignoring it.
416
>] [17] [18] (./dicelab_manual.aux) )
417
Here is how much of TeX's memory you used:
418
4517 strings out of 94101
419
68932 string characters out of 1165810
420
149851 words of memory out of 1500000
421
7650 multiletter control sequences out of 10000+50000
422
37733 words of font info for 62 fonts, out of 1200000 for 2000
423
637 hyphenation exceptions out of 8191
424
30i,6n,36p,1446b,434s stack positions out of 5000i,500n,6000p,200000b,5000s
425
{/usr/share/texmf-texlive/fonts/enc/dvips/
426
iwona/iwona-sy.enc}{/usr/share/texmf-texlive/fonts/enc/dvips/iwona/iwona-qx.enc
427
}</usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmmi12.pfb></usr/share/texmf-
428
texlive/fonts/type1/bluesky/cm/cmmi8.pfb></usr/share/texmf-texlive/fonts/type1/
429
bluesky/cm/cmr12.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmr8.pfb>
430
</usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy8.pfb></usr/share/texmf-te
431
xlive/fonts/type1/bluesky/cm/cmtt12.pfb></usr/share/texmf-texlive/fonts/type1/p
432
ublic/iwona/iwonab.pfb></usr/share/texmf-texlive/fonts/type1/public/iwona/iwona
433
r.pfb></usr/share/texmf-texlive/fonts/type1/public/iwona/iwonari.pfb>
434
Output written on dicelab_manual.pdf (18 pages, 224036 bytes).
436
357 PDF objects out of 1000 (max. 8388607)
437
49 named destinations out of 1000 (max. 131072)
438
15699 words of extra memory for PDF output out of 17280 (max. 10000000)