This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2005.2.22) 4 JUL 2005 15:02 **page (./page.tex LaTeX2e <2001/06/01> Babel and hyphenation patterns for american, french, german, ngerman, d anish, nohyphenation, loaded. (/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/fleqn.clo File: fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations) \mathindent=\dimen102 ) (/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=\dimen103 ) (./lgwinclude.tex) (/usr/share/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 42. ) (/usr/share/texmf/tex/latex/base/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) (./page.sty) \@indexfile=\write3 \openout3 = `page.idx'. Writing index file page.idx \bracketwidth=\skip43 LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 23. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 23. LaTeX Font Info: Try loading font information for U+lasy on input line 23. (/usr/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) (/usr/share/texmf/tex/latex/hyperref/hyperref.sty Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) \@linkdim=\dimen104 \Hy@linkcounter=\count87 \Hy@pagecounter=\count88 (/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=\muskip10 Package: url 1999/03/28 ver 1.5x Verb mode for urls, etc. ) LaTeX Info: Redefining \url on input line 2055. \Fld@menulength=\count89 \Field@Width=\dimen105 \Fld@charsize=\dimen106 \Choice@toks=\toks15 \Field@toks=\toks16 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=\count90 \c@Hfootnote=\count91 ) *hyperref using driver hdvipdfm* (/usr/share/texmf/tex/latex/hyperref/hdvipdfm.def File: hdvipdfm.def 2003/01/22 v6.73n Hyperref driver for dvipdfm \pdfm@box=\box26 \Fld@listcount=\count92 \@outlinefile=\write4 ) Package hyperref Info: Option `colorlinks' set `true' on input line 32. \outex=\write5 \toktex=\toks17 \openout5 = `page.otx'. \outest=\write6 \openout6 = `page.tst'. (./page.aux) \openout1 = `page.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 65. LaTeX Font Info: ... okay on input line 65. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 65. LaTeX Font Info: ... okay on input line 65. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 65. LaTeX Font Info: ... okay on input line 65. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 65. LaTeX Font Info: ... okay on input line 65. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 65. LaTeX Font Info: ... okay on input line 65. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 65. LaTeX Font Info: ... okay on input line 65. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 65. LaTeX Font Info: ... okay on input line 65. (/usr/share/texmf/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/usr/share/texmf/tex/latex/config/color.cfg File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive ) Package color Info: Driver file: dvips.def on input line 125. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ) (/usr/share/texmf/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) Package hyperref Info: Link coloring ON on input line 65. (/usr/share/texmf/tex/latex/hyperref/nameref.sty Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section \c@section@level=\count93 ) LaTeX Info: Redefining \ref on input line 65. LaTeX Info: Redefining \pageref on input line 65. (./page.out) (./page.out) \openout4 = `page.out'. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 69. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 69. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 69. (./page.toc [1 ]) \tf@toc=\write7 \openout7 = `page.toc'. Overfull \hbox (19.88979pt too wide) in paragraph at lines 92--93 []\OT1/cmr/m/n/10 http://www.diku.dk/ grue/logiweb/20050502/home/vaaben/proofre port/latest/ | [] Overfull \hbox (4.848pt too wide) in paragraph at lines 99--100 []\OT1/cmr/m/n/10 http://www.diku.dk/ grue/logiweb/20050502/home/grue/peano/GRD -2005-| [] [2] LaTeX Font Info: Try loading font information for OMS+cmr on input line 111. (/usr/share/texmf/tex/latex/base/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 <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 111. [3] [4] [5] [6] [7] \lgwproofline=\count94 \lgwproofline=\count95 [8] \lgwproofline=\count96 [9] LaTeX Warning: Command \o invalid in math mode on input line 2228. LaTeX Warning: Command \o invalid in math mode on input line 2249. \lgwproofline=\count97 \lgwproofline=\count98 [10] LaTeX Warning: Command \o invalid in math mode on input line 2739. LaTeX Warning: Command \o invalid in math mode on input line 2745. LaTeX Warning: Command \o invalid in math mode on input line 2759. \lgwproofline=\count99 LaTeX Warning: Command \o invalid in math mode on input line 2889. \lgwproofline=\count100 [11] Overfull \hbox (9.445pt too wide) in paragraph at lines 3195--3424 \OT1/cmr/m/n/10 Det re-sul-terende be-vis er over-sat linje for linje fra M1.10 (pre-b)med de ovenst^^Waende| [] \lgwproofline=\count101 LaTeX Warning: Command \o invalid in math mode on input line 3424. LaTeX Warning: Command \o invalid in math mode on input line 3424. [12] \lgwproofline=\count102 \lgwproofline=\count103 LaTeX Warning: Command \o invalid in math mode on input line 3902. LaTeX Warning: Command \o invalid in math mode on input line 3902. [13] \lgwproofline=\count104 LaTeX Warning: Command \o invalid in math mode on input line 4181. LaTeX Warning: Command \o invalid in math mode on input line 4189. LaTeX Warning: Command \o invalid in math mode on input line 4206. \lgwproofline=\count105 LaTeX Warning: Command \o invalid in math mode on input line 4346. LaTeX Warning: Command \o invalid in math mode on input line 4346. LaTeX Warning: Command \o invalid in math mode on input line 4346. [14] \lgwproofline=\count106 LaTeX Warning: Command \o invalid in math mode on input line 4632. \lgwproofline=\count107 LaTeX Warning: Command \o invalid in math mode on input line 4845. [15] \lgwproofline=\count108 LaTeX Warning: Command \o invalid in math mode on input line 5140. LaTeX Warning: Command \o invalid in math mode on input line 5140. \lgwproofline=\count109 [16] \lgwproofline=\count110 LaTeX Warning: Command \o invalid in math mode on input line 5480. \lgwproofline=\count111 LaTeX Warning: Command \o invalid in math mode on input line 5738. \lgwproofline=\count112 LaTeX Warning: Command \o invalid in math mode on input line 5951. [17] \lgwproofline=\count113 LaTeX Warning: Command \o invalid in math mode on input line 6219. \lgwproofline=\count114 LaTeX Warning: Command \o invalid in math mode on input line 6485. [18] \lgwproofline=\count115 LaTeX Warning: Command \o invalid in math mode on input line 6649. \lgwproofline=\count116 LaTeX Warning: Command \o invalid in math mode on input line 6830. \lgwproofline=\count117 LaTeX Warning: Command \o invalid in math mode on input line 7089. [19] \lgwproofline=\count118 \lgwproofline=\count119 [20] \lgwproofline=\count120 Underfull \hbox (badness 1325) in paragraph at lines 8740--8740 []$\OT1/cmr/m/n/10 ([] [] [])[] [] [] [] [] [] [] [] [] Underfull \hbox (badness 10000) in paragraph at lines 8740--8740 []$\OT1/cmr/m/n/10 ([] [] [] [] ([] [] [])[]) [] [] Underfull \hbox (badness 6412) in paragraph at lines 8740--8740 [][]\OT1/cmr/m/n/10 : ([] [] [] [] ([] [] [])[] [] [] Underfull \hbox (badness 10000) in paragraph at lines 8740--8740 [] [] [] [] \OT1/cmr/m/n/10 ([] [] [])[]) [] [] Underfull \hbox (badness 6412) in paragraph at lines 8740--8740 []$[][]\OT1/cmr/m/n/10 : ([] [] [] [] ([] [] [])[] [] [] Underfull \hbox (badness 10000) in paragraph at lines 8740--8740 [] [] [] [] \OT1/cmr/m/n/10 ([] [] [])[]) [] [] Underfull \hbox (badness 10000) in paragraph at lines 8740--8740 []$[][]\OT1/cmr/m/n/10 : [] [] [] [] ([] [] [])[] [] [] [21] \lgwproofline=\count121 LaTeX Warning: Command \o invalid in math mode on input line 9075. [22] \lgwproofline=\count122 Overfull \hbox (0.7228pt too wide) in paragraph at lines 9475--9477 \OT1/cmr/m/n/10 Beviset er i hov-edtr^^Zk gen-nemf^^\rt som beskrevet i Mendel- son, men hvor Mendel-| [] [23] [24] [25] (./page.otx [26] [27] [28] LaTeX Warning: Command \o invalid in math mode on input line 38. LaTeX Warning: Command \o invalid in math mode on input line 44. [29] [30] [31]) [32] (./page.tst) LaTeX Warning: Command \o invalid in math mode on input line 13389. LaTeX Warning: Command \o invalid in math mode on input line 13401. [33] [34] [35] (./page.ind [36] LaTeX Warning: Command \o invalid in math mode on input line 75. LaTeX Warning: Command \o invalid in math mode on input line 77. [37] LaTeX Warning: Command \o invalid in math mode on input line 216. [38] LaTeX Warning: Command \o invalid in math mode on input line 217. [39]) (./page.bbl [40]) [41] (./page.aux) ) Here is how much of TeX's memory you used: 2272 strings out of 95835 30826 string characters out of 1195527 109166 words of memory out of 1000001 5190 multiletter control sequences out of 10000+50000 13189 words of font info for 49 fonts, out of 500000 for 1000 14 hyphenation exceptions out of 1000 25i,8n,36p,466b,340s stack positions out of 1500i,500n,5000p,200000b,5000s Output written on page.dvi (41 pages, 242664 bytes).