This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25) 14 AUG 2014 10:18 entering extended mode **all (./all.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/Users/cp/svn/hilbertbernays/trunk/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/Users/cp/svn/hilbertbernays/trunk/size12.clo File: size12.clo 2000/05/19 v1.4b 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/cp/svn/hilbertbernays/trunk/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/Users/cp/svn/hilbertbernays/trunk/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/Users/cp/svn/hilbertbernays/trunk/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: dvips.def on input line 80. (/Users/cp/svn/hilbertbernays/trunk/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/Users/cp/svn/hilbertbernays/trunk/named.sty) (/Users/cp/svn/hilbertbernays/trunk/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) (/Users/cp/svn/hilbertbernays/trunk/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks15 \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. )) (/Users/cp/svn/hilbertbernays/trunk/namedhelper.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/dina4.sty) (/Users/cp/svn/hilbertbernays/trunk/headerhot.tex \disp=\skip43 \textwidthminustwomm=\skip44 \textwidthminushalfcm=\skip45 \textwidthminusonecm=\skip46 \textwidthminustwocm=\skip47 \textwidthminusfourcm=\skip48 \textwidthminussixcm=\skip49 \yinibox=\box26 ) (/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex) (/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex) (/Users/cp/svn/hilbertbernays/trunk/headernames.tex (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex) (/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex (/Users/cp/svn/hilbertbernays/trunk/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ))) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex \c@theorem=\count87 ) (./all.aux) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Try loading font information for U+msa on input line 54. (/Users/cp/svn/hilbertbernays/trunk/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 54. (/Users/cp/svn/hilbertbernays/trunk/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) [1 ] (./all.toc) \tf@toc=\write3 \openout3 = `all.toc'. [2] [3] [4] [5] File: LoewenheimSkolemHerbrand-FinalBridge.ps.gz Graphic file (type eps) [6] [7] LaTeX Font Info: Try loading font information for OMS+cmr on input line 592. (/Users/cp/svn/hilbertbernays/trunk/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 592. [8] [9] [10] [11] (./all.bbl [12] [13] LaTeX Font Info: Try loading font information for T1+cmtt on input line 237. (/Users/cp/svn/hilbertbernays/trunk/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) [14]) [15] (./all.aux) ) Here is how much of TeX's memory you used: 6440 strings out of 94501 73445 string characters out of 1176137 134648 words of memory out of 1500000 8936 multiletter control sequences out of 10000+50000 38782 words of font info for 107 fonts, out of 1200000 for 2000 1205 hyphenation exceptions out of 8191 25i,12n,24p,353b,311s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on all.dvi (15 pages, 68532 bytes).