]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/moogle.log
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / whelp / moogle.log
diff --git a/helm/papers/whelp/moogle.log b/helm/papers/whelp/moogle.log
deleted file mode 100644 (file)
index b57f38c..0000000
+++ /dev/null
@@ -1,405 +0,0 @@
-This is e-TeX, Version 3.14159-2.1 (Web2C 7.4.5) (format=latex 2005.7.20)  12 OCT 2005 13:40
-entering extended mode
-**moogle.tex
-(./moogle.tex
-LaTeX2e <2001/06/01>
-Babel <v3.7h> and hyphenation patterns for american, french, ngerman, italian, 
-nohyphenation, loaded.
-(./llncs.cls
-Document Class: llncs 2002/01/28 v2.13 
- LaTeX document class for Lecture Notes in Computer Science
-(/usr/share/texmf/tex/latex/base/article.cls
-Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
-(/usr/share/texmf/tex/latex/base/size10.clo
-File: size10.clo 2001/04/21 v1.4e 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
-)
-(/usr/share/texmf/tex/latex/tools/multicol.sty
-Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi)
-\c@tracingmulticols=\count87
-\mult@box=\box26
-\multicol@leftmargin=\dimen103
-\c@unbalance=\count88
-\c@collectmore=\count89
-\doublecol@number=\count90
-\multicoltolerance=\count91
-\multicolpretolerance=\count92
-\full@width=\dimen104
-\page@free=\dimen105
-\premulticols=\dimen106
-\postmulticols=\dimen107
-\multicolsep=\skip43
-\multicolbaselineskip=\skip44
-\partial@page=\box27
-\last@line=\box28
-\mult@rightbox=\box29
-\mult@grightbox=\box30
-\mult@gfirstbox=\box31
-\mult@firstbox=\box32
-\@tempa=\box33
-\@tempa=\box34
-\@tempa=\box35
-\@tempa=\box36
-\@tempa=\box37
-\@tempa=\box38
-\@tempa=\box39
-\@tempa=\box40
-\@tempa=\box41
-\@tempa=\box42
-\@tempa=\box43
-\@tempa=\box44
-\@tempa=\box45
-\@tempa=\box46
-\@tempa=\box47
-\@tempa=\box48
-\@tempa=\box49
-\c@columnbadness=\count93
-\c@finalcolumnbadness=\count94
-\last@try=\dimen108
-\multicolovershoot=\dimen109
-\multicolundershoot=\dimen110
-\mult@nat@firstbox=\box50
-\colbreak@box=\box51
-)
-\c@chapter=\count95
-LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 360.
-LaTeX Font Info:    Redeclaring math symbol \Delta on input line 361.
-LaTeX Font Info:    Redeclaring math symbol \Theta on input line 362.
-LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 363.
-LaTeX Font Info:    Redeclaring math symbol \Xi on input line 364.
-LaTeX Font Info:    Redeclaring math symbol \Pi on input line 365.
-LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 366.
-LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 367.
-LaTeX Font Info:    Redeclaring math symbol \Phi on input line 368.
-LaTeX Font Info:    Redeclaring math symbol \Psi on input line 369.
-LaTeX Font Info:    Redeclaring math symbol \Omega on input line 370.
-\tocchpnum=\dimen111
-\tocsecnum=\dimen112
-\tocsectotal=\dimen113
-\tocsubsecnum=\dimen114
-\tocsubsectotal=\dimen115
-\tocsubsubsecnum=\dimen116
-\tocsubsubsectotal=\dimen117
-\tocparanum=\dimen118
-\tocparatotal=\dimen119
-\tocsubparanum=\dimen120
-\@tempcntc=\count96
-\fnindent=\dimen121
-\c@@inst=\count97
-\c@@auth=\count98
-\c@auco=\count99
-\instindent=\dimen122
-\authrun=\box52
-\authorrunning=\toks14
-\tocauthor=\toks15
-\titrun=\box53
-\titlerunning=\toks16
-\toctitle=\toks17
-\c@theorem=\count100
-\c@case=\count101
-\c@conjecture=\count102
-\c@corollary=\count103
-\c@definition=\count104
-\c@example=\count105
-\c@exercise=\count106
-\c@lemma=\count107
-\c@note=\count108
-\c@problem=\count109
-\c@property=\count110
-\c@proposition=\count111
-\c@question=\count112
-\c@solution=\count113
-\c@remark=\count114
-\headlineindent=\dimen123
-)
-(/usr/share/texmf/tex/latex/graphics/graphicx.sty
-Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texmf/tex/latex/graphics/keyval.sty
-Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
-\KV@toks@=\toks18
-)
-(/usr/share/texmf/tex/latex/graphics/graphics.sty
-Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texmf/tex/latex/graphics/trig.sty
-Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
-)
-(/usr/share/texmf/tex/latex/config/graphics.cfg
-File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
-)
-Package graphics Info: Driver file: dvips.def on input line 80.
-
-(/usr/share/texmf/tex/latex/graphics/dvips.def
-File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
-))
-\Gin@req@height=\dimen124
-\Gin@req@width=\dimen125
-)
-(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
-Package: amssymb 2002/01/22 v2.2d
-
-(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
-Package: amsfonts 2001/10/25 v2.2f
-\@emptytoks=\toks19
-\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 132.
-))
-(/usr/share/texmf/tex/latex/amsmath/amsmath.sty
-Package: amsmath 2000/07/18 v2.13 AMS math features
-\@mathmargin=\skip45
-
-For additional information on amsmath, use the `?' option.
-(/usr/share/texmf/tex/latex/amsmath/amstext.sty
-Package: amstext 2000/06/29 v2.01
-
-(/usr/share/texmf/tex/latex/amsmath/amsgen.sty
-File: amsgen.sty 1999/11/30 v2.0
-\@emptytoks=\toks20
-\ex@=\dimen126
-))
-(/usr/share/texmf/tex/latex/amsmath/amsbsy.sty
-Package: amsbsy 1999/11/29 v1.2d
-\pmbraise@=\dimen127
-)
-(/usr/share/texmf/tex/latex/amsmath/amsopn.sty
-Package: amsopn 1999/12/14 v2.01 operator names
-)
-\inf@bad=\count115
-LaTeX Info: Redefining \frac on input line 211.
-\uproot@=\count116
-\leftroot@=\count117
-LaTeX Info: Redefining \overline on input line 307.
-\classnum@=\count118
-\DOTSCASE@=\count119
-LaTeX Info: Redefining \ldots on input line 379.
-LaTeX Info: Redefining \dots on input line 382.
-LaTeX Info: Redefining \cdots on input line 467.
-\Mathstrutbox@=\box54
-\strutbox@=\box55
-\big@size=\dimen128
-LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
-LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
-
-
-Package amsmath Warning: Unable to redefine math accent \vec.
-
-\macc@depth=\count120
-\c@MaxMatrixCols=\count121
-\dotsspace@=\muskip10
-\c@parentequation=\count122
-\dspbrk@lvl=\count123
-\tag@help=\toks21
-\row@=\count124
-\column@=\count125
-\maxfields@=\count126
-\andhelp@=\toks22
-\eqnshift@=\dimen129
-\alignsep@=\dimen130
-\tagshift@=\dimen131
-\tagwidth@=\dimen132
-\totwidth@=\dimen133
-\lineht@=\dimen134
-\@envbody=\toks23
-\multlinegap=\skip46
-\multlinetaggap=\skip47
-\mathdisplay@stack=\toks24
-LaTeX Info: Redefining \[ on input line 2666.
-LaTeX Info: Redefining \] on input line 2667.
-) (/usr/share/texmf/tex/latex/hyperref/hyperref.sty
-Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
-\@linkdim=\dimen135
-\Hy@linkcounter=\count127
-\Hy@pagecounter=\count128
-
-(/usr/share/texmf/tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
-)
-(/usr/share/texmf/tex/latex/config/hyperref.cfg
-File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
-)
-Package hyperref Info: Hyper figures OFF on input line 1792.
-Package hyperref Info: Link nesting OFF on input line 1797.
-Package hyperref Info: Hyper index ON on input line 1800.
-Package hyperref Info: Plain pages ON on input line 1805.
-Package hyperref Info: Backreferencing OFF on input line 1812.
-
-Implicit mode ON; LaTeX internals redefined
-Package hyperref Info: Bookmarks ON on input line 1916.
-(/usr/share/texmf/tex/latex/misc/url.sty
-\Urlmuskip=\muskip11
-Package: url 1999/03/28  ver 1.5x  Verb mode for urls, etc.
-)
-LaTeX Info: Redefining \url on input line 2055.
-\Fld@menulength=\count129
-\Field@Width=\dimen136
-\Fld@charsize=\dimen137
-\Choice@toks=\toks25
-\Field@toks=\toks26
-Package hyperref Info: Hyper figures OFF on input line 2513.
-Package hyperref Info: Link nesting OFF on input line 2518.
-Package hyperref Info: Hyper index ON on input line 2521.
-Package hyperref Info: backreferencing OFF on input line 2528.
-Package hyperref Info: Link coloring OFF on input line 2533.
-\c@Item=\count130
-\c@Hfootnote=\count131
-)
-*hyperref using default driver hdvips*
-(/usr/share/texmf/tex/latex/hyperref/hdvips.def
-File: hdvips.def 2003/01/22 v6.73n Hyperref driver for dvips
-
-(/usr/share/texmf/tex/latex/hyperref/pdfmark.def
-File: pdfmark.def 2003/01/22 v6.73n Hyperref definitions for pdfmark specials
-\pdf@docset=\toks27
-\pdf@box=\box56
-\pdf@toks=\toks28
-\pdf@defaulttoks=\toks29
-\Fld@listcount=\count132
-\@outlinefile=\write3
-))
-(/usr/share/texmf/tex/latex/misc/picins.sty
-Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
-\@BILD=\box57
-\@TEXT=\box58
-\d@breite=\dimen138
-\d@hoehe=\dimen139
-\d@xoff=\dimen140
-\d@yoff=\dimen141
-\d@shad=\dimen142
-\d@dash=\dimen143
-\d@boxl=\dimen144
-\d@pichskip=\dimen145
-\d@tmp=\dimen146
-\d@tmpa=\dimen147
-\d@bskip=\dimen148
-\hsiz@=\dimen149
-\p@getot@l=\dimen150
-\c@breite=\count133
-\c@hoehe=\count134
-\c@xoff=\count135
-\c@yoff=\count136
-\c@pos=\count137
-\c@shad=\count138
-\c@dash=\count139
-\c@boxl=\count140
-\c@zeilen=\count141
-\@changemode=\count142
-\c@piccaption=\count143
-\c@piccaptionpos=\count144
-\c@picpos=\count145
-\c@whole=\count146
-\c@half=\count147
-\c@tmp=\count148
-\c@tmpa=\count149
-\c@tmpb=\count150
-\c@tmpc=\count151
-\c@tmpd=\count152
-\d@leftskip=\skip48
-\ptoti=\dimen151
-\ptotii=\dimen152
-\env@box=\box59
-\d@envdp=\dimen153
-\c@hsize=\count153
-\c@envdp=\count154
-\d@envb=\dimen154
-) (./moogle.aux)
-\openout1 = `moogle.aux'.
-
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 41.
-LaTeX Font Info:    ... okay on input line 41.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 41.
-LaTeX Font Info:    ... okay on input line 41.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 41.
-LaTeX Font Info:    ... okay on input line 41.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 41.
-LaTeX Font Info:    ... okay on input line 41.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 41.
-LaTeX Font Info:    ... okay on input line 41.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 41.
-LaTeX Font Info:    ... okay on input line 41.
-LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 41.
-LaTeX Font Info:    ... okay on input line 41.
-Package hyperref Info: Link coloring OFF on input line 41.
-
-(/usr/share/texmf/tex/latex/hyperref/nameref.sty
-Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
-\c@section@level=\count155
-)
-LaTeX Info: Redefining \ref on input line 41.
-LaTeX Info: Redefining \pageref on input line 41.
- (./moogle.out) (./moogle.out)
-\openout3 = `moogle.out'.
-
-LaTeX Font Info:    Try loading font information for U+msa on input line 43.
-(/usr/share/texmf/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2002/01/19 v2.2g AMS font definitions
-)
-LaTeX Font Info:    Try loading font information for U+msb on input line 43.
-
-(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2002/01/19 v2.2g AMS font definitions
-)
-
-Package hyperref Warning: bookmark level for unknown title defaults to 0.
-
-
-Package hyperref Warning: bookmark level for unknown author defaults to 0.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\unskip' on input line 43.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 43.
-
-[1
-
-] [2]
-File: engine_new.eps Graphic file (type eps)
- <engine_new.eps> [3]
-File: disambiguation-1.eps Graphic file (type eps)
- <disambiguation-1.eps> [4] [5]
-
-LaTeX Font Warning: Font shape `OT1/cmr/bx/sc' undefined
-(Font)              using `OT1/cmr/bx/n' instead on input line 445.
-
-[6] [7]
-File: match_sin.eps Graphic file (type eps)
- <match_sin.eps> [8] [9] [10] [11]
-File: architecture_new.eps Graphic file (type eps)
- <architecture_new.eps> [12] [13]
-[14]
-Underfull \hbox (badness 3138) in paragraph at lines 939--943
-[]\OT1/cmr/m/n/9 G. Bancerek, P. Rud-nicki. \OT1/cmr/m/it/9 In-for-ma-tion Re-t
-rieval in MML\OT1/cmr/m/n/9 . In A.Asperti,
- []
-
-[15] [16] (./moogle.aux)
-
-LaTeX Font Warning: Some font shapes were not available, defaults substituted.
-
- ) 
-Here is how much of TeX's memory you used:
- 3548 strings out of 95735
- 43764 string characters out of 1194528
- 113902 words of memory out of 1000001
- 6511 multiletter control sequences out of 10000+50000
- 12951 words of font info for 49 fonts, out of 500000 for 1000
- 14 hyphenation exceptions out of 1000
- 29i,9n,32p,223b,357s stack positions out of 1500i,500n,5000p,200000b,5000s
-
-Output written on moogle.dvi (16 pages, 91640 bytes).