X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fwhelp%2Fmoogle.log;fp=helm%2Fpapers%2Fwhelp%2Fmoogle.log;h=0000000000000000000000000000000000000000;hb=85747dc6d0578b484544bb8120aad7aa89813f27;hp=b57f38c21e7ea2c6a9a3c81eb2d615e47682d307;hpb=c1986639552e01334a05db4236627a6c1ffacf21;p=helm.git diff --git a/helm/papers/whelp/moogle.log b/helm/papers/whelp/moogle.log deleted file mode 100644 index b57f38c21..000000000 --- a/helm/papers/whelp/moogle.log +++ /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 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) - [3] -File: disambiguation-1.eps Graphic file (type 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) - [8] [9] [10] [11] -File: architecture_new.eps Graphic file (type 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).