This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009) (format=pdflatex 2009.11.16) 25 JUN 2010 12:13 entering extended mode file:line:error style messages enabled. %&-line parsing enabled. **paper.tex (./paper.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, german-x-2009-06-19, ngerman-x-2009-06-19, ancientgreek, ibycus, ar abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, ku rmanji, latin, latvian, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, po lish, portuguese, romanian, russian, sanskrit, serbian, slovak, slovenian, span ish, swedish, turkish, ukenglish, ukrainian, uppersorbian, welsh, loaded. (/Users/kohlhase/stc/stex/sty/omdoc/omdoc.cls Document Class: omdoc 2010/06/25 v1.0 OMDoc Documents (/usr/local/texlive/2009/texmf-dist/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/local/texlive/2009/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2007/10/19 v1.4h 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/kohlhase/stc/stex/sty/omdoc/omdoc.sty Package: omdoc 2010/06/25 v1.0 OMDoc document Structure \section@level=\count87 (/Users/kohlhase/stc/stex/sty/sref/sref.sty Package: sref 2010/06/25 v0.9 Semantic Cross-References (/Users/kohlhase/stc/stex/sty/omd/omd.sty Package: omd 2010/06/25 v0.9 OMDoc Metadata Framework (/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ))) (/usr/local/texlive/2009/texmf-dist/tex/latex/comment/comment.sty \CommentStream=\write3 Excluding comment 'comment') Excluding comment 'ignore')) (/Users/kohlhase/stc/stex/sty/stex.sty Package: stex 2010/02/04 v0.9b Semantic Markup (/Users/kohlhase/stc/stex/sty/stex-logo.sty Package: stex-logo 2009/08/07 v1.0 sTeX Logo (/usr/local/texlive/2009/texmf-dist/tex/latex/tools/xspace.sty Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) )) (/Users/kohlhase/stc/stex/sty/modules/modules.sty Package: modules 2010/06/25 v1.0 Semantic Markup (/usr/local/texlive/2009/texmf-dist/tex/latex/seminar/xcomment.sty Style-Option: `xcomment' v1.2 <93/02/12> (tvz) \tokout=\write4 \tokin=\read1 )) (/Users/kohlhase/stc/stex/sty/omtext/omtext.sty Package: omtext 2010/06/25 v1.0 OMDoc Text Fragments \@indexfile=\write5 \openout5 = `paper.idx'. Writing index file paper.idx ) (/Users/kohlhase/stc/stex/sty/statements/statements.sty Package: statements 2010/06/25 v1.0 Semantic Markup for Statements (/usr/local/texlive/2009/texmf-dist/tex/latex/ntheorem/ntheorem.sty Style `ntheorem', Version 1.25 <2005/07/07> Package: ntheorem 2005/07/07 1.25 \theorem@style=\toks15 \theorem@@style=\toks16 \theorembodyfont=\toks17 \theoremnumbering=\toks18 \theorempreskipamount=\skip43 \theorempostskipamount=\skip44 \theoremindent=\dimen103 \theorem@indent=\dimen104 \theoremheaderfont=\toks19 \theoremseparator=\toks20 \theoremprework=\toks21 \theorempostwork=\toks22 \theoremsymbol=\toks23 \qedsymbol=\toks24 \theoremkeyword=\toks25 \qedsymbol=\toks26 \thm@topsepadd=\skip45 ) \c@STtheoremAssEnv=\count88 ) (/Users/kohlhase/stc/stex/sty/sproof/sproof.sty Package: sproof 2010/06/25 v0.9f Semantic Markup for Proofs ) (/Users/kohlhase/stc/stex/sty/presentation/presentation.sty Package: presentation 2010/06/25 v1.0 presentation for semantic macros ) (/Users/kohlhase/stc/stex/sty/dcm/dcm.sty Package: dcm 2010/06/25 v0.3 Dublin Core Metadata )) (/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2009/06/22 v3.00 (/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support \@emptytoks=\toks27 \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 96. )) (/usr/local/texlive/2009/texmf-dist/tex/latex/base/alltt.sty Package: alltt 1997/06/16 v2.0g defines alltt environment ) (/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifpdf.sty Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO) Package ifpdf Info: pdfTeX in pdf mode detected. ) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifvtex.sty Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO) Package ifvtex Info: VTeX not detected. ) (/usr/local/texlive/2009/texmf-dist/tex/generic/ifxetex/ifxetex.sty Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional ) (/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/hycolor.sty Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H O) (/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty Package: xcolor-patch 2009/10/02 xcolor patch )) \@linkdim=\dimen105 \Hy@linkcounter=\count89 \Hy@pagecounter=\count90 (/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO) ) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/etexcmds.sty Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO) ) Package etexcmds Info: Could not find \expanded. (etexcmds) That can mean that you are not using pdfTeX 1.50 or (etexcmds) that some package has redefined \expanded. (etexcmds) In the latter case, load this package earlier. ) (/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor t (HO) )) Package hyperref Info: Hyper figures OFF on input line 2975. Package hyperref Info: Link nesting OFF on input line 2980. Package hyperref Info: Hyper index ON on input line 2983. Package hyperref Info: Plain pages OFF on input line 2990. Package hyperref Info: Backreferencing OFF on input line 2995. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 3191. (/usr/local/texlive/2009/texmf-dist/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip10 Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. ) LaTeX Info: Redefining \url on input line 3428. (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bitset.sty Package: bitset 2007/09/28 v1.0 Data type bit set (HO) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/intcalc.sty Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) ) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bigintcalc.sty Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions (HO) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifluatex.sty Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO) Package ifluatex Info: LuaTeX not detected. ) (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO ) ) Package pdftexcmds Info: LuaTeX not detected. Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. ))) \Fld@menulength=\count91 \Field@Width=\dimen106 \Fld@charsize=\dimen107 \Field@toks=\toks28 Package hyperref Info: Hyper figures OFF on input line 4377. Package hyperref Info: Link nesting OFF on input line 4382. Package hyperref Info: Hyper index ON on input line 4385. Package hyperref Info: backreferencing OFF on input line 4392. Package hyperref Info: Link coloring OFF on input line 4397. Package hyperref Info: Link coloring with OCG OFF on input line 4402. Package hyperref Info: PDF/A mode OFF on input line 4407. (/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/atbegshi.sty Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) ) \Hy@abspage=\count92 \c@Item=\count93 \c@Hfootnote=\count94 ) *hyperref using default driver hpdftex* (/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX \Fld@listcount=\count95 ) (/usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.sty \lst@mode=\count96 \lst@gtempboxa=\box26 \lst@token=\toks29 \lst@length=\count97 \lst@currlwidth=\dimen108 \lst@column=\count98 \lst@pos=\count99 \lst@lostspace=\dimen109 \lst@width=\dimen110 \lst@newlines=\count100 \lst@lineno=\count101 \lst@maxwidth=\dimen111 (/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) \c@lstnumber=\count102 \lst@skipnumbers=\count103 \lst@framebox=\box27 ) (/usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2007/02/22 1.4 listings configuration )) Package: listings 2007/02/22 1.4 (Carsten Heinz) (./paper.aux) \openout1 = `paper.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. Package hyperref Info: Link coloring OFF on input line 16. (/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section (/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/refcount.sty Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) ) \c@section@level=\count104 ) LaTeX Info: Redefining \ref on input line 16. LaTeX Info: Redefining \pageref on input line 16. (./paper.out) (./paper.out) \@outlinefile=\write6 \openout6 = `paper.out'. \AtBeginShipoutBox=\box28 \c@lstlisting=\count105 LaTeX Font Info: Try loading font information for U+msa on input line 25. (/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2009/06/22 v3.00 AMS symbols A ) LaTeX Font Info: Try loading font information for U+msb on input line 25. (/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2009/06/22 v3.00 AMS symbols B ) \c@authors=\count106 authors: &Michael Kohlhase [1 {/usr/local/texlive/2009/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Warning: Citation `Kohlhase:ssmtl*' on page 2 undefined on input line 72. LaTeX Font Info: Font shape `OT1/cmtt/bx/n' in size <10> not available (Font) Font shape `OT1/cmtt/m/n' tried instead on input line 80. (/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang1.sty File: lstlang1.sty 2004/09/05 1.3 listings language file ) (/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang2.sty File: lstlang2.sty 2004/09/05 1.3 listings language file ) (/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) ) Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on i nput line 91. (./Makefile) (./continuous.tex [2] (../background/functions.sms) (../backgroun d/reals.sms) Package hyperref Info: bookmark level for unknown STdefinitionEnv defaults to 0 on input line 8. ) (./differentiable.tex) (./paper.bbl Overfull \hbox (69.37538pt too wide) in paragraph at lines 119--22 \OT1/cmr/m/n/10 shown how a a []T[]X col-lec-tion can be set up for au-toma-tio n. [] ) \tf@thm=\write7 \openout7 = `paper.thm'. [3] (./paper.aux) LaTeX Warning: There were undefined references. ) Here is how much of TeX's memory you used: 6658 strings out of 493848 99522 string characters out of 3149206 189428 words of memory out of 3000000 9759 multiletter control sequences out of 15000+200000 12316 words of font info for 48 fonts, out of 3000000 for 9000 714 hyphenation exceptions out of 8191 43i,12n,52p,271b,1168s stack positions out of 5000i,500n,10000p,200000b,50000s < /usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb> Output written on paper.pdf (3 pages, 190417 bytes). PDF statistics: 154 PDF objects out of 1000 (max. 8388607) 38 named destinations out of 1000 (max. 500000) 65 words of extra memory for PDF output out of 10000 (max. 10000000)