source: Deliverables/D2.1/report.log @ 1982

Last change on this file since 1982 was 1982, checked in by amadio, 8 years ago

add 2.1 Survey

File size: 16.1 KB
Line 
1This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=latex 2010.10.5)  11 MAR 2011 18:13
2entering extended mode
3 %&-line parsing enabled.
4**report
5(./report.tex
6LaTeX2e <2009/09/24>
7Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
8yphenation, french, basque, italian, loaded.
9(/usr/share/texmf-texlive/tex/latex/base/article.cls
10Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
11(/usr/share/texmf-texlive/tex/latex/base/size11.clo
12File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
13)
14\c@part=\count79
15\c@section=\count80
16\c@subsection=\count81
17\c@subsubsection=\count82
18\c@paragraph=\count83
19\c@subparagraph=\count84
20\c@figure=\count85
21\c@table=\count86
22\abovecaptionskip=\skip41
23\belowcaptionskip=\skip42
24\bibindent=\dimen102
25) (../style/cerco.sty
26CerCo-specific declarations and macros
27(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
28Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
29
30(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
31Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
32\KV@toks@=\toks14
33)
34(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
35Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
36
37(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
38Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
39)
40(/etc/texmf/tex/latex/config/graphics.cfg
41File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
42)
43Package graphics Info: Driver file: pdftex.def on input line 91.
44
45(/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def
46File: pdftex.def 2009/08/25 v0.04m Graphics/color for pdfTeX
47
48
49! Package pdftex.def Error: PDF mode expected, but DVI mode detected!
50(pdftex.def)                If you are using `latex', then call `pdflatex'.
51(pdftex.def)                Otherwise check and correct the driver options.
52(pdftex.def)                Error recovery by switching to PDF mode.
53
54See the pdftex.def package documentation for explanation.
55Type  H <return>  for immediate help.
56 ...                                             
57                                                 
58l.385     }\@ehc
59               
60?
61\Gread@gobject=\count87
62))
63\Gin@req@height=\dimen103
64\Gin@req@width=\dimen104
65) (/usr/share/texmf-texlive/tex/latex/base/latexsym.sty
66Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
67\symlasy=\mathgroup4
68LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
69(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
70)
71(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
72Package: amssymb 2009/06/22 v3.00
73
74(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty
75Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
76\@emptytoks=\toks15
77\symAMSa=\mathgroup5
78\symAMSb=\mathgroup6
79LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
80(Font)                  U/euf/m/n --> U/euf/b/n on input line 96.
81))
82(/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
83Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX
84
85(/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty
86Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO)
87Package ifpdf Info: pdfTeX in pdf mode detected.
88)
89(/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty
90Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO)
91Package ifvtex Info: VTeX not detected.
92)
93(/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty
94Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional
95)
96(/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
97Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H
98O)
99
100(/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty
101Package: xcolor-patch 2009/10/02 xcolor patch
102))
103\@linkdim=\dimen105
104\Hy@linkcounter=\count88
105\Hy@pagecounter=\count89
106
107(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def
108File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO)
109)
110(/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
111Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO)
112
113(/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty
114Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO)
115)
116Package etexcmds Info: Could not find \expanded.
117(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
118(etexcmds)             that some package has redefined \expanded.
119(etexcmds)             In the latter case, load this package earlier.
120)
121(/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg
122File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
123)
124(/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
125Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO)
126
127(/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty
128Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor
129t (HO)
130))
131Package hyperref Info: Option `bookmarks' set `true' on input line 2864.
132Package hyperref Info: Option `colorlinks' set `true' on input line 2864.
133
134
135Package hyperref Warning: Option `pagecolor' is not available anymore.
136
137Package hyperref Info: Option `breaklinks' set `true' on input line 2864.
138Package hyperref Info: Option `bookmarksopen' set `true' on input line 2864.
139Package hyperref Info: Hyper figures OFF on input line 2975.
140Package hyperref Info: Link nesting OFF on input line 2980.
141Package hyperref Info: Hyper index ON on input line 2983.
142Package hyperref Info: Plain pages OFF on input line 2990.
143Package hyperref Info: Backreferencing OFF on input line 2995.
144Implicit mode ON; LaTeX internals redefined
145Package hyperref Info: Bookmarks ON on input line 3191.
146(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty
147\Urlmuskip=\muskip10
148Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
149)
150LaTeX Info: Redefining \url on input line 3428.
151
152(/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
153Package: bitset 2007/09/28 v1.0 Data type bit set (HO)
154
155(/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty
156Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
157)
158(/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
159Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO)
160
161(/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty
162Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions
163 (HO)
164
165(/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty
166Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO)
167Package ifluatex Info: LuaTeX not detected.
168)
169(/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty
170Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO
171)
172)
173Package pdftexcmds Info: LuaTeX not detected.
174Package pdftexcmds Info: \pdf@primitive is available.
175Package pdftexcmds Info: \pdf@ifprimitive is available.
176)))
177\Fld@menulength=\count90
178\Field@Width=\dimen106
179\Fld@charsize=\dimen107
180\Field@toks=\toks16
181Package hyperref Info: Hyper figures OFF on input line 4377.
182Package hyperref Info: Link nesting OFF on input line 4382.
183Package hyperref Info: Hyper index ON on input line 4385.
184Package hyperref Info: backreferencing OFF on input line 4392.
185Package hyperref Info: Link coloring ON on input line 4395.
186Package hyperref Info: Link coloring with OCG OFF on input line 4402.
187Package hyperref Info: PDF/A mode OFF on input line 4407.
188
189(/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty
190Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO)
191)
192\Hy@abspage=\count91
193\c@Item=\count92
194\c@Hfootnote=\count93
195)
196*hyperref using default driver hpdftex*
197(/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def
198File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX
199\Fld@listcount=\count94
200)
201(/usr/share/texmf-texlive/tex/latex/base/alltt.sty
202Package: alltt 1997/06/16 v2.0g defines alltt environment
203))
204(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
205Package: inputenc 2008/03/30 v1.1d Input encoding file
206\inpenc@prehook=\toks17
207\inpenc@posthook=\toks18
208
209(/usr/share/texmf-texlive/tex/latex/base/latin1.def
210File: latin1.def 2008/03/30 v1.1d Input encoding file
211))
212(/usr/share/texmf-texlive/tex/generic/babel/babel.sty
213Package: babel 2008/07/06 v3.8l The Babel package
214
215(/usr/share/texmf-texlive/tex/generic/babel/english.ldf
216Language: english 2005/03/30 v3.3o English support from the babel system
217
218(/usr/share/texmf-texlive/tex/generic/babel/babel.def
219File: babel.def 2008/07/06 v3.8l Babel common definitions
220\babel@savecnt=\count95
221\U@D=\dimen108
222)
223\l@british = a dialect from \language\l@english
224\l@UKenglish = a dialect from \language\l@english
225\l@canadian = a dialect from \language\l@american
226\l@australian = a dialect from \language\l@british
227\l@newzealand = a dialect from \language\l@british
228))
229(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
230Package: amsmath 2000/07/18 v2.13 AMS math features
231\@mathmargin=\skip43
232
233For additional information on amsmath, use the `?' option.
234(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
235Package: amstext 2000/06/29 v2.01
236
237(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty
238File: amsgen.sty 1999/11/30 v2.0
239\@emptytoks=\toks19
240\ex@=\dimen109
241))
242(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty
243Package: amsbsy 1999/11/29 v1.2d
244\pmbraise@=\dimen110
245)
246(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty
247Package: amsopn 1999/12/14 v2.01 operator names
248)
249\inf@bad=\count96
250LaTeX Info: Redefining \frac on input line 211.
251\uproot@=\count97
252\leftroot@=\count98
253LaTeX Info: Redefining \overline on input line 307.
254\classnum@=\count99
255\DOTSCASE@=\count100
256LaTeX Info: Redefining \ldots on input line 379.
257LaTeX Info: Redefining \dots on input line 382.
258LaTeX Info: Redefining \cdots on input line 467.
259\Mathstrutbox@=\box26
260\strutbox@=\box27
261\big@size=\dimen111
262LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
263LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
264\macc@depth=\count101
265\c@MaxMatrixCols=\count102
266\dotsspace@=\muskip11
267\c@parentequation=\count103
268\dspbrk@lvl=\count104
269\tag@help=\toks20
270\row@=\count105
271\column@=\count106
272\maxfields@=\count107
273\andhelp@=\toks21
274\eqnshift@=\dimen112
275\alignsep@=\dimen113
276\tagshift@=\dimen114
277\tagwidth@=\dimen115
278\totwidth@=\dimen116
279\lineht@=\dimen117
280\@envbody=\toks22
281\multlinegap=\skip44
282\multlinetaggap=\skip45
283\mathdisplay@stack=\toks23
284LaTeX Info: Redefining \[ on input line 2666.
285LaTeX Info: Redefining \] on input line 2667.
286)
287(/usr/share/texmf-texlive/tex/latex/tools/xspace.sty
288Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH)
289)
290
291! LaTeX Error: File `xy.sty' not found.
292
293Type X to quit or <RETURN> to proceed,
294or enter new name. (Default extension: sty)
295
296Enter file name:
297
298! LaTeX Error: Unknown option `all' for package `xy'.
299
300See the LaTeX manual or LaTeX Companion for explanation.
301Type  H <return>  for immediate help.
302 ...                                             
303                                                 
304l.32 \usepackage
305                {graphics,color}
306?
307(/usr/share/texmf-texlive/tex/latex/graphics/color.sty
308Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
309
310(/etc/texmf/tex/latex/config/color.cfg
311File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
312)
313Package color Info: Driver file: pdftex.def on input line 130.
314)
315(/usr/share/texmf-texlive/tex/latex/tools/array.sty
316Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
317\col@sep=\dimen118
318\extrarowheight=\dimen119
319\NC@list=\toks24
320\extratabsurround=\skip46
321\backup@length=\skip47
322)
323\c@theorem=\count108
324
325
326LaTeX Warning: Unused global option(s):
327    [epsf,a4wide].
328
329(./report.aux)
330\openout1 = `report.aux'.
331
332LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 538.
333LaTeX Font Info:    ... okay on input line 538.
334LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 538.
335LaTeX Font Info:    ... okay on input line 538.
336LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 538.
337LaTeX Font Info:    ... okay on input line 538.
338LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 538.
339LaTeX Font Info:    ... okay on input line 538.
340LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 538.
341LaTeX Font Info:    ... okay on input line 538.
342LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 538.
343LaTeX Font Info:    ... okay on input line 538.
344LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 538.
345LaTeX Font Info:    ... okay on input line 538.
346 (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
347[Loading MPS to PDF converter (version 2006.09.02).]
348\scratchcounter=\count109
349\scratchdimen=\dimen120
350\scratchbox=\box28
351\nofMPsegments=\count110
352\nofMParguments=\count111
353\everyMPshowfont=\toks25
354\MPscratchCnt=\count112
355\MPscratchDim=\dimen121
356\MPnumerator=\count113
357\everyMPtoPDFconversion=\toks26
358)
359Package hyperref Info: Link coloring ON on input line 538.
360 (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
361Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section
362
363(/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty
364Package: refcount 2008/08/11 v3.1 Data extraction from references (HO)
365)
366\c@section@level=\count114
367)
368LaTeX Info: Redefining \ref on input line 538.
369LaTeX Info: Redefining \pageref on input line 538.
370 (./report.out)
371(./report.out)
372\@outlinefile=\write3
373\openout3 = `report.out'.
374
375\AtBeginShipoutBox=\box29
376 <../style/cerco_logo.png, id=3, 804.00375pt x 213.79875pt>
377File: ../style/cerco_logo.png Graphic file (type png)
378
379<use ../style/cerco_logo.png>
380LaTeX Font Info:    Try loading font information for U+lasy on input line 548.
381 (/usr/share/texmf-texlive/tex/latex/base/ulasy.fd
382File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
383)
384LaTeX Font Info:    Try loading font information for U+msa on input line 548.
385 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd
386File: umsa.fd 2009/06/22 v3.00 AMS symbols A
387)
388LaTeX Font Info:    Try loading font information for U+msb on input line 548.
389
390(/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd
391File: umsb.fd 2009/06/22 v3.00 AMS symbols B
392)
393Overfull \hbox (17.0pt too wide) in paragraph at lines 546--549
394[]$[]$
395 []
396
397
398Underfull \hbox (badness 10000) in paragraph at lines 577--581
399
400 []
401
402[1
403
404{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <../style/cerco_logo.png>]
405[2
406
407]
408
409Package hyperref Warning: old toc file detected, not used; run LaTeX again.
410
411\tf@toc=\write4
412\openout4 = `report.toc'.
413
414[3] (./text.tex
415
416LaTeX Warning: Citation `Leroy09' on page 4 undefined on input line 9.
417
418
419LaTeX Warning: Citation `Cerco10' on page 4 undefined on input line 11.
420
421
422LaTeX Warning: Citation `SCADE' on page 4 undefined on input line 22.
423
424
425LaTeX Warning: Citation `Fornari10' on page 4 undefined on input line 22.
426
427
428LaTeX Warning: Citation `AbsInt' on page 4 undefined on input line 24.
429
430
431LaTeX Warning: Citation `AbsintScade' on page 4 undefined on input line 24.
432
433
434LaTeX Warning: Citation `W09' on page 4 undefined on input line 28.
435
436
437LaTeX Warning: Citation `Frama-C' on page 4 undefined on input line 34.
438
439LaTeX Font Info:    Try loading font information for OMS+cmr on input line 54.
440(/usr/share/texmf-texlive/tex/latex/base/omscmr.fd
441File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
442)
443LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10.95> not available
444(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 54.
445 [4]
446! Undefined control sequence.
447l.122 \xymatrix
448               {
449?
450! Undefined control sequence.
451l.124   L_1 \ar
452               [d]^{An_1} \ar[r]^{\cl{C}_1}
453?
454! Undefined control sequence.
455l.124   L_1 \ar[d]^{An_1} \ar
456                             [r]^{\cl{C}_1}
457?
458! Misplaced alignment tab character &.
459l.125 &
460        L_2 \ar[d]^{An_1}
461?
462! Undefined control sequence.
463l.125 & L_2 \ar
464               [d]^{An_1}
465?
466! Emergency stop.
467l.125 & L_2 \ar
468               [d]^{An_1}
469End of file on the terminal!
470
471 
472Here is how much of TeX's memory you used:
473 5860 strings out of 495062
474 78817 string characters out of 1182644
475 155725 words of memory out of 3000000
476 8910 multiletter control sequences out of 15000+50000
477 14988 words of font info for 57 fonts, out of 3000000 for 9000
478 28 hyphenation exceptions out of 8191
479 45i,6n,38p,248b,310s stack positions out of 5000i,500n,10000p,200000b,50000s
480!  ==> Fatal error occurred, no output PDF file produced!
Note: See TracBrowser for help on using the repository browser.