summaryrefslogtreecommitdiffstats
path: root/doc/LaTeX/pvs-doc.log
diff options
context:
space:
mode:
Diffstat (limited to 'doc/LaTeX/pvs-doc.log')
-rw-r--r--doc/LaTeX/pvs-doc.log1065
1 files changed, 0 insertions, 1065 deletions
diff --git a/doc/LaTeX/pvs-doc.log b/doc/LaTeX/pvs-doc.log
deleted file mode 100644
index e634d13..0000000
--- a/doc/LaTeX/pvs-doc.log
+++ /dev/null
@@ -1,1065 +0,0 @@
-This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2010.9.4) 2 OCT 2010 17:01
-entering extended mode
- restricted \write18 enabled.
- %&-line parsing enabled.
-**pvs-doc.tex
-(./pvs-doc.tex
-LaTeX2e <2009/09/24>
-Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
-yphenation, loaded.
-\@indexfile=\write3
-\openout3 = `pvs-doc.idx'.
-
-Writing index file pvs-doc.idx
-(./mystyle-pdf.tex (/usr/share/texmf-texlive/tex/latex/base/book.cls
-Document Class: book 2007/10/19 v1.4h Standard LaTeX document class
-(/usr/share/texmf-texlive/tex/latex/base/bk12.clo
-File: bk12.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
-)
-\c@part=\count79
-\c@chapter=\count80
-\c@section=\count81
-\c@subsection=\count82
-\c@subsubsection=\count83
-\c@paragraph=\count84
-\c@subparagraph=\count85
-\c@figure=\count86
-\c@table=\count87
-\abovecaptionskip=\skip41
-\belowcaptionskip=\skip42
-\bibindent=\dimen102
-)
-(/usr/share/texmf-texlive/tex/generic/babel/babel.sty
-Package: babel 2008/07/06 v3.8l The Babel package
-
-(/usr/share/texmf-texlive/tex/generic/babel/ngermanb.ldf
-Language: ngermanb 2008/07/06 v2.6n new German support from the babel system
-
-(/usr/share/texmf-texlive/tex/generic/babel/babel.def
-File: babel.def 2008/07/06 v3.8l Babel common definitions
-\babel@savecnt=\count88
-\U@D=\dimen103
-)
-
-Package babel Warning: No hyphenation patterns were loaded for
-(babel) the language `ngerman'
-(babel) I will use the patterns loaded for \language=0 instead.
-
-\l@ngerman = a dialect from \language0
-\l@naustrian = a dialect from \language\l@ngerman
-Package babel Info: Making " an active character on input line 92.
-)) (/usr/share/texmf-texlive/tex/latex/ucs/ucs.sty
-Package: ucs 2004/10/17 UCS: Unicode input support
-
-(/usr/share/texmf-texlive/tex/latex/ucs/data/uni-global.def
-File: uni-global.def 2004/10/17 UCS: Unicode global data
-)
-\uc@secondtry=\count89
-\uc@combtoks=\toks14
-\uc@combtoksb=\toks15
-\uc@temptokena=\toks16
-)
-(/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
-Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
-
-(/usr/share/texmf-texlive/tex/latex/base/t1enc.def
-File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
-LaTeX Font Info: Redeclaring font encoding T1 on input line 43.
-))
-(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
-Package: inputenc 2008/03/30 v1.1d Input encoding file
-\inpenc@prehook=\toks17
-\inpenc@posthook=\toks18
-
-(/usr/share/texmf-texlive/tex/latex/ucs/utf8x.def
-File: utf8x.def 2004/10/17 UCS: Input encoding UTF-8
-))
-(/usr/share/texmf-texlive/tex/latex/tools/multicol.sty
-Package: multicol 2008/12/05 v1.6h multicolumn formatting (FMi)
-\c@tracingmulticols=\count90
-\mult@box=\box26
-\multicol@leftmargin=\dimen104
-\c@unbalance=\count91
-\c@collectmore=\count92
-\doublecol@number=\count93
-\multicoltolerance=\count94
-\multicolpretolerance=\count95
-\full@width=\dimen105
-\page@free=\dimen106
-\premulticols=\dimen107
-\postmulticols=\dimen108
-\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=\count96
-\c@finalcolumnbadness=\count97
-\last@try=\dimen109
-\multicolovershoot=\dimen110
-\multicolundershoot=\dimen111
-\mult@nat@firstbox=\box50
-\colbreak@box=\box51
-)
-(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
-Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
-Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
-\KV@toks@=\toks19
-)
-(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
-Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
-Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
-)
-(/etc/texmf/tex/latex/config/graphics.cfg
-File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
-)
-Package graphics Info: Driver file: pdftex.def on input line 91.
-
-(/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def
-File: pdftex.def 2009/08/25 v0.04m Graphics/color for pdfTeX
-\Gread@gobject=\count98
-))
-\Gin@req@height=\dimen112
-\Gin@req@width=\dimen113
-)
-(/usr/share/texmf-texlive/tex/latex/base/makeidx.sty
-Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
-)
-(/usr/share/texmf-texlive/tex/latex/ltxmisc/ulem.sty
-\UL@box=\box52
-\UL@hyphenbox=\box53
-\UL@skip=\skip45
-\UL@hook=\toks20
-\UL@pe=\count99
-\UL@pixel=\dimen114
-\ULC@box=\box54
-Package: ulem 2000/05/26
-\ULdepth=\dimen115
-)
-(/usr/share/texmf/tex/latex/xcolor/xcolor.sty
-Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
-
-(/etc/texmf/tex/latex/config/color.cfg
-File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
-)
-Package xcolor Info: Driver file: pdftex.def on input line 225.
-Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
-Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
-Package xcolor Info: Model `RGB' extended on input line 1353.
-Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
-Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
-Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
-Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
-Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
-Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
-)
-(/usr/share/texmf-texlive/tex/latex/moreverb/moreverb.sty
-Package: moreverb 2008/06/03 v2.3 `more' verbatim facilities
-
-(/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty
-Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
-\every@verbatim=\toks21
-\verbatim@line=\toks22
-\verbatim@in@stream=\read1
-)
-\verbatim@out=\write4
-\tab@position=\count100
-\tab@size=\count101
-\listing@line=\count102
-)
-(/usr/share/texmf-texlive/tex/latex/fancyhdr/fancyhdr.sty
-\fancy@headwidth=\skip46
-\f@ncyO@elh=\skip47
-\f@ncyO@erh=\skip48
-\f@ncyO@olh=\skip49
-\f@ncyO@orh=\skip50
-\f@ncyO@elf=\skip51
-\f@ncyO@erf=\skip52
-\f@ncyO@olf=\skip53
-\f@ncyO@orf=\skip54
-)
-(/usr/share/texmf-texlive/tex/latex/caption/caption2.sty
-Package: caption2 2008/07/01 v2.2c Customising captions (AS)
-
-
-Package caption2 Warning: ****************************************************
-(caption2) THIS PACKAGE IS OBSOLETE:
-(caption2) This package attempts to provide an `caption2'
-(caption2) package v2.0/2.1 author environment so that OLD
-(caption2) documents can be successfully processed. It should
-(caption2) NOT be used for NEW documents! New documents should
-(caption2) use the regular `caption' package v3.x instead.
-(caption2) ****************************************************
-
-(/usr/share/texmf-texlive/tex/latex/caption/caption3.sty
-Package: caption3 2009/10/09 v3.1k caption3 kernel (AR)
-\captionmargin=\dimen116
-\captionmargin@=\dimen117
-\captionwidth=\dimen118
-\caption@indent=\dimen119
-\caption@parindent=\dimen120
-\caption@hangindent=\dimen121
-)
-Package caption2 Info: Running in caption2 v2.0 compatibility mode on input lin
-e 209.
-\captionlinewidth=\dimen122
-\realcaptionwidth=\dimen123
-))
-(/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
-Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX
-
-(/usr/share/texmf-texlive/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/share/texmf-texlive/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/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty
-Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional
-)
-(/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
-Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H
-O)
-
-(/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty
-Package: xcolor-patch 2009/10/02 xcolor patch
-))
-\@linkdim=\dimen124
-\Hy@linkcounter=\count103
-\Hy@pagecounter=\count104
-
-(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO)
-)
-(/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
-Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO)
-
-(/usr/share/texmf-texlive/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/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg
-File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
-)
-(/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
-Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO)
-
-(/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty
-Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor
-t (HO)
-))
-Package hyperref Info: Option `pdfpagelabels' set `true' on input line 2864.
-Package hyperref Info: Option `plainpages' set `false' on input line 2864.
-Package hyperref Info: Option `colorlinks' set `true' on input line 2864.
-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/share/texmf-texlive/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/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
-Package: bitset 2007/09/28 v1.0 Data type bit set (HO)
-
-(/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty
-Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
-)
-(/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
-Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO)
-
-(/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty
-Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions
- (HO)
-
-(/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty
-Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO)
-Package ifluatex Info: LuaTeX not detected.
-)
-(/usr/share/texmf-texlive/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=\count105
-\Field@Width=\dimen125
-\Fld@charsize=\dimen126
-\Field@toks=\toks23
-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 ON on input line 4395.
-Package hyperref Info: Link coloring with OCG OFF on input line 4402.
-Package hyperref Info: PDF/A mode OFF on input line 4407.
-
-(/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty
-Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO)
-)
-\Hy@abspage=\count106
-\c@Item=\count107
-\c@Hfootnote=\count108
-)
-*hyperref using driver hpdftex*
-(/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def
-File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX
-\Fld@listcount=\count109
-) (./pvs-doc.aux
-
-LaTeX Warning: Label `uscp' multiply defined.
-
-)
-\openout1 = `pvs-doc.aux'.
-
-LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 4.
-LaTeX Font Info: ... okay on input line 4.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 4.
-LaTeX Font Info: ... okay on input line 4.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 4.
-LaTeX Font Info: ... okay on input line 4.
-LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 4.
-LaTeX Font Info: ... okay on input line 4.
-LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 4.
-LaTeX Font Info: ... okay on input line 4.
-LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 4.
-LaTeX Font Info: ... okay on input line 4.
-LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 4.
-LaTeX Font Info: ... okay on input line 4.
-LaTeX Font Info: Try loading font information for T1+cmss on input line 4.
- (/usr/share/texmf-texlive/tex/latex/base/t1cmss.fd
-File: t1cmss.fd 1999/05/25 v2.5h Standard LaTeX font definitions
-)
-(/usr/share/texmf-texlive/tex/latex/ucs/ucsencs.def
-File: ucsencs.def 2003/11/29 Fixes to fontencodings LGR, T3
-)
-(/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
-[Loading MPS to PDF converter (version 2006.09.02).]
-\scratchcounter=\count110
-\scratchdimen=\dimen127
-\scratchbox=\box55
-\nofMPsegments=\count111
-\nofMParguments=\count112
-\everyMPshowfont=\toks24
-\MPscratchCnt=\count113
-\MPscratchDim=\dimen128
-\MPnumerator=\count114
-\everyMPtoPDFconversion=\toks25
-)
-Package caption Info: Begin \AtBeginDocument code.
-Package caption Info: End \AtBeginDocument code.
-Package hyperref Info: Link coloring ON on input line 4.
- (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
-Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section
-
-(/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty
-Package: refcount 2008/08/11 v3.1 Data extraction from references (HO)
-)
-\c@section@level=\count115
-)
-LaTeX Info: Redefining \ref on input line 4.
-LaTeX Info: Redefining \pageref on input line 4.
- (./pvs-doc.out)
-(./pvs-doc.out)
-\@outlinefile=\write5
-\openout5 = `pvs-doc.out'.
-
-\AtBeginShipoutBox=\box56
- (./header.tex
-<bilder/siegel-neu.jpg, id=227, 570.18372pt x 570.18372pt>
-File: bilder/siegel-neu.jpg Graphic file (type jpg)
-
-<use bilder/siegel-neu.jpg>
-(/usr/share/texmf-texlive/tex/latex/ucs/data/uni-0.def
-File: uni-0.def 2004/10/17 UCS: Unicode data U+0000..U+00FF
-) [1
-
-{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./bilder/siegel-neu.jpg>]
-[2]
-
-LaTeX Font Warning: Font shape `T1/cmss/m/sc' in size <14.4> not available
-(Font) Font shape `T1/cmr/m/sc' tried instead on input line 39.
-
-[3]
-Underfull \hbox (badness 10000) in paragraph at lines 45--52
-
- []
-
-[4])
-
-Package hyperref Warning: No destination for bookmark of \addcontentsline,
-(hyperref) destination is added on input line 7.
-
-(./pvs-doc.toc
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <12> on input line 6.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <8> on input line 6.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <6> on input line 6.
-
-
-Package Fancyhdr Warning: \headheight is too small (12.0pt):
- Make it at least 25.40292pt.
- We now make it that large for the rest of the document.
- This may cause the page layout to be inconsistent, however.
-
-[1
-
-])
-\tf@toc=\write6
-\openout6 = `pvs-doc.toc'.
-
- [2] (./zusfassung.tex [3
-
-])pdfTeX warning (ext4): destination with the same identifier (name{page.1}) ha
-s been already used, duplicate ignored
-<to be read again>
- \relax
-l.13 \part{Idee und Ãœberblick}
- [1
-
-]pdfTeX warning (ext4): destination with the same identifier (name{page.2}) has
- been already used, duplicate ignored
-<to be read again>
- \relax
-l.13 \part{Idee und Ãœberblick}
- [2] (./intro/0000-chapter.tex
-Kapitel 1.
-<bilder/studentctlpanel.png, id=333, 866.05525pt x 523.71pt>
-File: bilder/studentctlpanel.png Graphic file (type png)
-
-<use bilder/studentctlpanel.png>pdfTeX warning (ext4): destination with the sam
-e identifier (name{page.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.13 D
- em soll ein eigener Ansatz entgegengesetzt werden, der die eingangs ge...
-[3
-
- <./bilder/studentctlpanel.png>]
-Overfull \hbox (2.64162pt too wide) in paragraph at lines 13--14
-[]\T1/cmss/m/n/12 Dem soll ein eigen-er Ansatz ent-ge-genge-set-zt wer-den, der
- die ein-gangs genan-nten Beschränkun-
- []
-
-) (./intro/0100-funktionen.texpdfTeX warning (ext4): destination with the same
-identifier (name{page.4}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.1 \chapter
- {Funktionen eines Software-Video-Switchs} [4]
-Kapitel 2.
-File: bilder/studentctlpanel.png Graphic file (type png)
-<use bilder/studentctlpanel.png>) (./intro/0900-textaufbau.tex [5
-
-] [6
-
-]
-Kapitel 3.
-LaTeX Font Info: Try loading font information for T1+cmtt on input line 12.
-(/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd
-File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions
-)) [7] [8
-
-] [9] [10]
-(./user/0001-chapter.tex
-Kapitel 4.
-<bilder/pvsmgrAll.jpg, id=374, 1312.905pt x 989.6975pt>
-File: bilder/pvsmgrAll.jpg Graphic file (type jpg)
-
-<use bilder/pvsmgrAll.jpg>
-Underfull \hbox (badness 10000) in paragraph at lines 17--32
-
- []
-
-
-Underfull \vbox (badness 1052) has occurred while \output is active []
-
- [11
-
- <./bilder/pvsmgrAll.jpg>] <bilder/dum.jpg, id=383, 1312.905pt x 985.6825pt>
-File: bilder/dum.jpg Graphic file (type jpg)
-
-<use bilder/dum.jpg>
-Underfull \hbox (badness 10000) in paragraph at lines 34--63
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 34--63
-
- []
-
-
-LaTeX Warning: `h' float specifier changed to `ht'.
-
-[12]
-Underfull \hbox (badness 10000) in paragraph at lines 66--69
-
- []
-
-
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [13 <./bilder/dum.jpg>]
-Underfull \hbox (badness 10000) in paragraph at lines 70--71
-
- []
-
-) (./user/0000-chapter.tex
-Underfull \hbox (badness 10000) in paragraph at lines 72--1
-
- []
-
-[14]
-Kapitel 5.
-[15
-
-] <bilder/clientToolbar.png, id=409, 463.331pt x 22.484pt>
-File: bilder/clientToolbar.png Graphic file (type png)
-
-<use bilder/clientToolbar.png>
-LaTeX Font Info: Try loading font information for OMS+cmss on input line 20.
-
-LaTeX Font Info: No file OMScmss.fd. on input line 20.
-
-
-LaTeX Font Warning: Font shape `OMS/cmss/m/n' undefined
-(Font) using `OMS/cmsy/m/n' instead
-(Font) for symbol `textbullet' on input line 20.
-
-[16 <./bilder/clientToolbar.png>]
-<bilder/clientChatDialog.png, id=421, 403.106pt x 312.367pt>
-File: bilder/clientChatDialog.png Graphic file (type png)
-
-<use bilder/clientChatDialog.png>
-<bilder/clientConfigDialog.png, id=423, 367.774pt x 238.491pt>
-File: bilder/clientConfigDialog.png Graphic file (type png)
-
-<use bilder/clientConfigDialog.png>
-
-LaTeX Warning: `h' float specifier changed to `ht'.
-
-) [17 <./bilder/clientChatDialog.png>] [18 <./bilder/clientConfigDialog.png>]
-[19
-
-] [20] (./devel/0000-chapter.tex) (./devel/0100-build.tex
-Kapitel 6.
-
-Underfull \hbox (badness 10000) in paragraph at lines 3--4
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 5--7
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 8--10
-
- []
-
-
-Overfull \hbox (6.42374pt too wide) in paragraph at lines 23--25
-\T1/cmss/m/n/12 Eingesetztes Buildsys-tem und der Makefile-Generator. Um dis-tr
-i-bu-tion-sspez-i-fis-che Pakete
- []
-
-[21
-
-]
-Underfull \hbox (badness 10000) in paragraph at lines 34--35
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 36--40
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 51--53
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 54--60
-
- []
-
-[22]
-Underfull \hbox (badness 10000) in paragraph at lines 61--62
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 63--65
-
- []
-
-) (./devel/0200-gui-lib.tex [23] [24
-
-]
-Kapitel 7.
-[25]) (./devel/0300-pvs.tex [26]
-Kapitel 8.
-(./devel/0310-service-discovery.tex [27
-
-])
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [28]
-Underfull \hbox (badness 10000) in paragraph at lines 45--58
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 45--58
-
- []
-
-[29]
-Underfull \hbox (badness 10000) in paragraph at lines 67--67
-[]\T1/cmtt/m/n/12 <Username des
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 67--67
-[]\T1/cmtt/m/n/12 <<Username des
- []
-
-
-Overfull \hbox (7.24413pt too wide) in paragraph at lines 67--67
-\T1/cmtt/m/n/12 Absenders>:<Die
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 67--67
-\T1/cmtt/m/n/12 eigentliche
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 67--68
-[]\T1/cmtt/m/n/12 <<Vom server
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 67--68
-\T1/cmtt/m/n/12 zugewissene
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 67--68
-\T1/cmtt/m/n/12 ID des
- []
-
-[30]
-Underfull \hbox (badness 10000) in paragraph at lines 135--143
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 144--177
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 144--177
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 144--177
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 144--177
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 144--177
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 144--177
-
- []
-
-[31]
-Overfull \hbox (1.08073pt too wide) in paragraph at lines 184--189
-\T1/cmss/m/n/12 sich der Dis-patch-er für Nachricht-en vom Typ Com-mand in der
-Klasse \T1/cmtt/m/n/12 pvsServerConnection\T1/cmss/m/n/12 ,
- []
-
-
-Overfull \hbox (11.3282pt too wide) in paragraph at lines 184--189
-\T1/cmss/m/n/12 wie fol-gt als Han-dler reg-istri-ert: \T1/cmtt/m/n/12 _pvsServ
-erConnection->addCommandHandler("*", this,
- []
-
-[32]
-Underfull \hbox (badness 10000) in paragraph at lines 202--202
-[]\T1/cmss/m/n/12 hostname
- []
-
-
-Underfull \hbox (badness 7558) in paragraph at lines 202--202
-\T1/cmss/m/n/12 port pass-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 202--202
-\T1/cmss/m/n/12 word
- []
-
-
-Underfull \hbox (badness 4378) in paragraph at lines 205--206
-[]\T1/cmss/m/n/12 Client mit Nachricht
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 210--210
-[]\T1/cmss/m/n/12 ^^RWrong
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 210--211
-[]\T1/cmss/m/n/12 Wird bei falschem
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 220--221
-[]\T1/cmss/m/n/12 Client hinzufü-gen
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 222--223
-[]\T1/cmss/m/n/12 Festgelegter Name
- []
-
-) (./devel/0400-pvs-console.tex [33] [34]
-Kapitel 9.
-
-Underfull \hbox (badness 10000) in paragraph at lines 3--7
-
- []
-
-<bilder/pvsmgr.jpg, id=525, 796.9775pt x 569.12625pt>
-File: bilder/pvsmgr.jpg Graphic file (type jpg)
- <use bilder/pvsmgr.jpg>
-<bilder/mainwindow.png, id=527, 518.8986pt x 373.6359pt>
-File: bilder/mainwindow.png Graphic file (type png)
-
-<use bilder/mainwindow.png>
-Underfull \hbox (badness 10000) in paragraph at lines 21--48
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 21--48
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 21--48
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 21--48
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 21--48
-
- []
-
-[35
-
-]
-
-LaTeX Warning: `h' float specifier changed to `ht'.
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 49--56
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 57--60
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 57--60
-
- []
-
-[36 <./bilder/pvsmgr.jpg>]
-Underfull \hbox (badness 10000) in paragraph at lines 61--72
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 73--76
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 77--81
-
- []
-
-[37 <./bilder/mainwindow.png (PNG copy)>]
-
-LaTeX Warning: Reference `fig:connectionlist' on page 38 undefined on input lin
-e 87.
-
-<bilder/ConnectionList.png, id=543, 583.9416pt x 354.8457pt>
-File: bilder/ConnectionList.png Graphic file (type png)
-
-<use bilder/ConnectionList.png>
-<bilder/connectionframe.png, id=544, 516.0078pt x 352.6776pt>
-File: bilder/connectionframe.png Graphic file (type png)
-
-<use bilder/connectionframe.png>
-
-LaTeX Warning: Reference `connectionframe' on page 38 undefined on input line 1
-20.
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 105--124
-
- []
-
-
-Underfull \vbox (badness 1629) has occurred while \output is active []
-
- [38 <./bilder/ConnectionList.png (PNG copy)>] [39 <./bilder/connectionframe.pn
-g (PNG copy)>]
-Underfull \hbox (badness 10000) in paragraph at lines 130--150
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 153--158
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 159--164
-
- []
-
-[40]
-Overfull \hbox (9.46333pt too wide) in paragraph at lines 171--174
-\T1/cmss/m/n/12 schon in der Liste der Pro-jek-tion-sziele vorhan-den ist. Ist
-er nicht vorhan-den, wird ein Auswahldia-
- []
-
-
-Overfull \hbox (2.76924pt too wide) in paragraph at lines 171--174
-\T1/cmtt/m/n/12 MainWindow::getWindow()->getConnectionList()->getTargetToDispla
-y(source)\T1/cmss/m/n/12 ).
- []
-
-[41]) (./devel/0500-pvs-client.tex [42]
-Kapitel 10.
-
-Underfull \hbox (badness 10000) in paragraph at lines 2--3
-
- []
-
-<bilder/DBus.pdf, id=573, 273.02pt x 217.613pt>
-File: bilder/DBus.pdf Graphic file (type pdf)
- <use bilder/DBus.pdf> [43
-
- <./bilder/DBus.pdf>] [44]
-Underfull \hbox (badness 10000) in paragraph at lines 73--74
-
- []
-
-
-Overfull \hbox (5.7754pt too wide) in paragraph at lines 77--78
-\T1/cmss/m/n/12 über den Kon-struk-tor definiert und nach einem Aufruf von \T1/
-cmtt/m/n/12 VNCClientThread::start()
- []
-
-[45]
-Underfull \hbox (badness 10000) in paragraph at lines 88--89
-
- []
-
-[46]
-Underfull \hbox (badness 10000) in paragraph at lines 95--97
-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 98--101
-
- []
-
-[47]
-Underfull \hbox (badness 2285) in paragraph at lines 117--128
-\T1/cmss/m/it/12 ^^C/.gconf/desktop/gnome/remote_access/%gconf.xml \T1/cmss/m/n
-/12 kon-fig-urier-bar. Pa-ram-e-ter kön-nen
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 117--128
-\T1/cmss/m/n/12 durch \T1/cmtt/m/n/12 gconftool-2 -s -t int desktop/gnome/remot
-e_access/alternative_port
- []
-
-
-Underfull \hbox (badness 7256) in paragraph at lines 117--128
-\T1/cmtt/m/n/12 <portnumber> \T1/cmss/m/n/12 bzw. das Ein-fü-gen von z.B. \T1/c
-mtt/m/n/12 <entry name=``alternative_port''
- []
-
-
-Underfull \hbox (badness 3471) in paragraph at lines 117--128
-\T1/cmtt/m/n/12 mtime=``1259858032'' type= ``int'' value=``<portnumber>''/> \T1
-/cmss/m/n/12 in die entsprechende
- []
-
-[48] [49]
-Overfull \hbox (1.44884pt too wide) in paragraph at lines 189--190
-[]\T1/cmss/m/n/12 Um einen Mehrfach-start des VNC Servers zu ver-hin-dern, wird
- zunächst im-mer ein \T1/cmtt/m/n/12 pvs-vncsrv
- []
-
-
-Underfull \hbox (badness 1728) in paragraph at lines 197--199
-\T1/cmss/m/n/12 die Eingaben in der Klasse \T1/cmtt/m/n/12 ClientVNCViewer \T1/
-cmss/m/n/12 abge-fan-gen und ve-r-ar-beit-et wer-den.
- []
-
-
-Underfull \hbox (badness 1107) in paragraph at lines 197--199
-\T1/cmss/m/n/12 Dies kann durch Über-schreiben der geerbten Meth-ode \T1/cmtt/m
-/n/12 event \T1/cmss/m/n/12 er-re-icht wer-den \T1/cmtt/m/n/12 bool
- []
-
-[50]
-Overfull \hbox (4.18437pt too wide) in paragraph at lines 211--215
-\T1/cmtt/m/n/12 Key-[]enum$[][]\T1/cmss/m/n/12 ) un-ter-schieden wer-den. Die T
-astatur- und Mau-seingaben müssen dann entsprechend
- []
-
-
-Overfull \hbox (11.09923pt too wide) in paragraph at lines 211--215
-\T1/cmss/m/n/12 an \T1/cmtt/m/n/12 vncClientThread \T1/cmss/m/n/12 weit-ergelei
-t-et wer-den. In der Klasse vnc-Client-Thread wer-den die Eingaben
- []
-
-[51]
-Underfull \hbox (badness 4441) in paragraph at lines 240--243
-[]\T1/cmss/m/n/12 Um Sig-nale ab-fan-gen zu kön-nen, muss nun noch das sigac-ti
-on Ob-jekt durch
- []
-
-
-Underfull \hbox (badness 2181) in paragraph at lines 240--243
-\T1/cmtt/m/n/12 sigaction(SIGTERM, &act, 0) \T1/cmss/m/n/12 mit den entsprechen
--den Sig-nalen (hi-er SIGTERM)
- []
-
-) [52] [53
-
-] [54] (./appendix/0000-chapter.tex
-<bilder/Klassendiagramm.pdf, id=646, 598.235pt x 845.55902pt>
-File: bilder/Klassendiagramm.pdf Graphic file (type pdf)
-
-<use bilder/Klassendiagramm.pdf>
-
-LaTeX Warning: `h' float specifier changed to `ht'.
-
-)
-No file pvs-doc.ind.
-[55 <./bilder/Klassendiagramm.pdf>] (./pvs-doc.aux)
-
-LaTeX Font Warning: Some font shapes were not available, defaults substituted.
-
-
-LaTeX Warning: There were undefined references.
-
-
-LaTeX Warning: There were multiply-defined labels.
-
- )
-Here is how much of TeX's memory you used:
- 7300 strings out of 495061
- 103737 string characters out of 1182622
- 191400 words of memory out of 3000000
- 10133 multiletter control sequences out of 15000+50000
- 17588 words of font info for 39 fonts, out of 3000000 for 9000
- 28 hyphenation exceptions out of 8191
- 38i,14n,44p,1625b,576s stack positions out of 5000i,500n,10000p,200000b,50000s
- </home/fabian/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecsi1200.600pk> </home/
-fabian/.texmf-var/fonts/pk/ljfour/jknappen/ec/ectt1200.600pk> </home/fabian/.te
-xmf-var/fonts/pk/ljfour/jknappen/ec/ecsx1095.600pk> </home/fabian/.texmf-var/fo
-nts/pk/ljfour/jknappen/ec/ecsx1728.600pk> </home/fabian/.texmf-var/fonts/pk/ljf
-our/jknappen/ec/ecsx1440.600pk> </home/fabian/.texmf-var/fonts/pk/ljfour/jknapp
-en/ec/ecsx1200.600pk> </home/fabian/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecss
-1200.600pk> </home/fabian/.texmf-var/fonts/pk/ljfour/jknappen/ec/eccc1440.600pk
-> </home/fabian/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecss1095.600pk> </home/f
-abian/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecss1440.600pk> </home/fabian/.tex
-mf-var/fonts/pk/ljfour/jknappen/ec/ecsi1440.600pk> </home/fabian/.texmf-var/fon
-ts/pk/ljfour/jknappen/ec/ecss1728.600pk> </home/fabian/.texmf-var/fonts/pk/ljfo
-ur/jknappen/ec/ecss2488.600pk> </home/fabian/.texmf-var/fonts/pk/ljfour/jknappe
-n/ec/ecsx2488.600pk></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cm
-mi12.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr12.pfb></u
-sr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texm
-f-texlive/fonts/type1/public/amsfonts/cm/cmsy10.pfb>
-Output written on pvs-doc.pdf (62 pages, 2362812 bytes).
-PDF statistics:
- 1429 PDF objects out of 1440 (max. 8388607)
- 156 named destinations out of 1000 (max. 500000)
- 514 words of extra memory for PDF output out of 10000 (max. 10000000)
-