diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/praes2/Logo_RGB.jpg | bin | 0 -> 443098 bytes | |||
| -rw-r--r-- | doc/praes2/fu-beamer-template.aux | 24 | ||||
| -rw-r--r-- | doc/praes2/fu-beamer-template.tex | 121 | ||||
| -rw-r--r-- | doc/praes2/fu_500.jpg | bin | 0 -> 167716 bytes | |||
| -rw-r--r-- | doc/praes2/main.aux | 48 | ||||
| -rw-r--r-- | doc/praes2/main.log | 1403 | ||||
| -rw-r--r-- | doc/praes2/main.nav | 30 | ||||
| -rw-r--r-- | doc/praes2/main.out | 0 | ||||
| -rw-r--r-- | doc/praes2/main.pdf | bin | 0 -> 1153991 bytes | |||
| -rw-r--r-- | doc/praes2/main.snm | 0 | ||||
| -rw-r--r-- | doc/praes2/main.tex | 190 | ||||
| -rw-r--r-- | doc/praes2/main.toc | 2 | ||||
| -rw-r--r-- | doc/praes2/main.vrb | 18 |
13 files changed, 1836 insertions, 0 deletions
diff --git a/doc/praes2/Logo_RGB.jpg b/doc/praes2/Logo_RGB.jpg Binary files differnew file mode 100644 index 0000000..9678276 --- /dev/null +++ b/doc/praes2/Logo_RGB.jpg diff --git a/doc/praes2/fu-beamer-template.aux b/doc/praes2/fu-beamer-template.aux new file mode 100644 index 0000000..44a66b9 --- /dev/null +++ b/doc/praes2/fu-beamer-template.aux @@ -0,0 +1,24 @@ +\relax +\@setckpt{fu-beamer-template}{ +\setcounter{page}{1} +\setcounter{equation}{0} +\setcounter{enumi}{0} +\setcounter{enumii}{0} +\setcounter{enumiii}{0} +\setcounter{enumiv}{0} +\setcounter{footnote}{0} +\setcounter{mpfootnote}{0} +\setcounter{beamerpauses}{0} +\setcounter{lecture}{0} +\setcounter{part}{0} +\setcounter{section}{0} +\setcounter{subsection}{0} +\setcounter{subsubsection}{0} +\setcounter{subsectionslide}{0} +\setcounter{framenumber}{0} +\setcounter{figure}{0} +\setcounter{table}{0} +\setcounter{parentequation}{0} +\setcounter{theorem}{0} +\setcounter{lstnumber}{1} +} diff --git a/doc/praes2/fu-beamer-template.tex b/doc/praes2/fu-beamer-template.tex new file mode 100644 index 0000000..f46eecc --- /dev/null +++ b/doc/praes2/fu-beamer-template.tex @@ -0,0 +1,121 @@ +% Template for talks using the Corporate Design of the Freie Universitaet +% Berlin, created following the guidelines on www.fu-berlin.de/cd by +% Tobias G. Pfeiffer, <tobias.pfeiffer@math.fu-berlin.de> +% This file can be redistributed and/or modified in any way you like. +% If you feel you have done significant improvements to this template, +% please consider providing your modified version to +% https://www.mi.fu-berlin.de/w/Mi/BeamerTemplateCorporateDesign + +\usepackage{amsmath,dsfont,listings} + +%%% FU logo +% small version for upper right corner of normal pages +\pgfdeclareimage[height=0.9cm]{university-logo}{Logo_RGB} +\logo{\pgfuseimage{university-logo}} +% large version for upper right corner of title page +\pgfdeclareimage[height=1.085cm]{big-university-logo}{Logo_RGB} +\newcommand{\titleimage}[1]{\pgfdeclareimage[height=2.92cm]{title-image}{#1}} +\titlegraphic{\pgfuseimage{title-image}} +%%% end FU logo + +% NOTE: 1cm = 0.393 in = 28.346 pt; 1 pt = 1/72 in = 0.0352 cm +\setbeamersize{text margin right=3.5mm, text margin left=7.5mm} % text margin + +% colors to be used +\definecolor{text-grey}{rgb}{0.45, 0.45, 0.45} % grey text on white background +\definecolor{bg-grey}{rgb}{0.66, 0.65, 0.60} % grey background (for white text) +\definecolor{fu-blue}{RGB}{0, 51, 102} % blue text +\definecolor{fu-green}{RGB}{153, 204, 0} % green text +\definecolor{fu-red}{RGB}{204, 0, 0} % red text (used by \alert) + +% switch off the sidebars +% TODO: loading \useoutertheme{sidebar} (which is maybe wanted) also inserts +% a sidebar on title page (unwanted), also indents the page title (unwanted?), +% and duplicates the navigation symbols (unwanted) +\setbeamersize{sidebar width left=0cm, sidebar width right=0mm} +\setbeamertemplate{sidebar right}{} +\setbeamertemplate{sidebar left}{} +% XOR +% \useoutertheme{sidebar} + +% frame title +% is truncated before logo and splits on two lines +% if neccessary (or manually using \\) +\setbeamertemplate{frametitle}{% + \vskip-30pt \color{text-grey}\large% + \begin{minipage}[b][23pt]{80.5mm}% + \flushleft\insertframetitle% + \end{minipage}% +} + +%%% title page +% TODO: get rid of the navigation symbols on the title page. +% actually, \frame[plain] *should* remove them... +\setbeamertemplate{title page}{ +% upper right: FU logo +\vskip2pt\hfill\pgfuseimage{big-university-logo} \\ +\vskip6pt\hskip3pt +% title image of the presentation +\begin{minipage}{11.6cm} +\hspace{-1mm}\inserttitlegraphic +\end{minipage} + +% set the title and the author +\vskip14pt +\parbox[top][1.35cm][c]{11cm}{\color{text-grey}\inserttitle \\ \small \insertsubtitle} +\vskip11pt +\parbox[top][1.35cm][c]{11cm}{\small \insertauthor \\ \insertinstitute \\[3mm] \insertdate} +} +%%% end title page + +%%% colors +\usecolortheme{lily} +\setbeamercolor*{normal text}{fg=black,bg=white} +\setbeamercolor*{alerted text}{fg=fu-red} +\setbeamercolor*{example text}{fg=fu-green} +\setbeamercolor*{structure}{fg=fu-blue} + +\setbeamercolor*{block title}{fg=white,bg=black!50} +\setbeamercolor*{block title alerted}{fg=white,bg=black!50} +\setbeamercolor*{block title example}{fg=white,bg=black!50} + +\setbeamercolor*{block body}{bg=black!10} +\setbeamercolor*{block body alerted}{bg=black!10} +\setbeamercolor*{block body example}{bg=black!10} + +\setbeamercolor{bibliography entry author}{fg=fu-blue} +% TODO: this doesn't work at all: +\setbeamercolor{bibliography entry journal}{fg=text-grey} + +\setbeamercolor{item}{fg=fu-blue} +\setbeamercolor{navigation symbols}{fg=text-grey,bg=bg-grey} +%%% end colors + +%%% headline +\setbeamertemplate{headline}{ +\vskip4pt\hfill\insertlogo\hspace{3.5mm} % logo on the right + +\vskip6pt\color{fu-blue}\rule{\textwidth}{0.4pt} % horizontal line +} +%%% end headline + +%%% footline +\newcommand{\footlinetext}{\insertshortinstitute, \insertshorttitle, \insertshortdate} +\setbeamertemplate{footline}{ +\vskip5pt\color{fu-blue}\rule{\textwidth}{0.4pt}\\ % horizontal line +\vskip2pt +\makebox[123mm]{\hspace{7.5mm} +\color{fu-blue}\footlinetext +\hfill \raisebox{-1pt}{\usebeamertemplate***{navigation symbols}} +\hfill \insertframenumber} +\vskip4pt +} +%%% end footline + +%%% settings for listings package +\lstset{extendedchars=true, showstringspaces=false, basicstyle=\footnotesize\sffamily, tabsize=2, breaklines=true, breakindent=10pt, frame=l, columns=fullflexible} +\lstset{language=Java} % this sets the syntax highlighting +\lstset{mathescape=true} % this switches on $...$ substitution in code +% enables UTF-8 in source code: +%\lstset{literate={ä}{{\"a}}1 {ö}{{\"o}}1 {ü}{{\"u}}1 {Ä}{{\"A}}1 {Ö}{{\"O}}1 {Ü}{{\"U}}1 {ß}{\ss}1} +%%% end listings diff --git a/doc/praes2/fu_500.jpg b/doc/praes2/fu_500.jpg Binary files differnew file mode 100644 index 0000000..a462897 --- /dev/null +++ b/doc/praes2/fu_500.jpg diff --git a/doc/praes2/main.aux b/doc/praes2/main.aux new file mode 100644 index 0000000..6a7858b --- /dev/null +++ b/doc/praes2/main.aux @@ -0,0 +1,48 @@ +\relax +\ifx\hyper@anchor\@undefined +\global \let \oldcontentsline\contentsline +\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} +\global \let \oldnewlabel\newlabel +\gdef \newlabel#1#2{\newlabelxx{#1}#2} +\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} +\AtEndDocument{\let \contentsline\oldcontentsline +\let \newlabel\oldnewlabel} +\else +\global \let \hyper@last\relax +\fi + +\@writefile{toc}{\beamer@endinputifotherversion {3.07pt}} +\@writefile{nav}{\beamer@endinputifotherversion {3.07pt}} +\select@language{english} +\@writefile{toc}{\select@language{english}} +\@writefile{lof}{\select@language{english}} +\@writefile{lot}{\select@language{english}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {4}{4}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {5}{5}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {6}{6}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {7}{7}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {8}{8}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{9/9}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {9}{9}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{10/10}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{11/11}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{12/12}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}} +\@writefile{nav}{\headcommand {\beamer@partpages {1}{12}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{12}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{12}}} +\@writefile{nav}{\headcommand {\beamer@documentpages {12}}} +\@writefile{nav}{\headcommand {\def \inserttotalframenumber {12}}} diff --git a/doc/praes2/main.log b/doc/praes2/main.log new file mode 100644 index 0000000..edcdd22 --- /dev/null +++ b/doc/praes2/main.log @@ -0,0 +1,1403 @@ +This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7) (format=pdflatex 2009.6.30) 6 JUL 2009 20:58 +entering extended mode + %&-line parsing enabled. +**\nonstopmode \input{main.tex} +(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.tex +(/usr/share/texmf-site/tex/latex/beamer/base/beamer.cls +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasercs.sty +Package: beamerbasercs 2007/01/28 (rcs-revision 1.4) +) +Document Class: beamer 2007/03/11 cvs version 3.07 A class for typesetting pres +entations (rcs-revision 1.70) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasemodes.sty +Package: beamerbasemodes 2007/01/28 (rcs-revision 1.22) +\beamer@tempbox=\box26 +\beamer@tempcount=\count79 +\c@beamerpauses=\count80 + +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasedecode.sty +Package: beamerbasedecode 2007/01/28 (rcs-revision 1.20) +\beamer@slideinframe=\count81 +\beamer@minimum=\count82 +) +\beamer@commentbox=\box27 +\beamer@modecount=\count83 +) +\headheight=\dimen102 +\headdp=\dimen103 +\footheight=\dimen104 +\sidebarheight=\dimen105 +\beamer@tempdim=\dimen106 +\beamer@finalheight=\dimen107 +\beamer@animht=\dimen108 +\beamer@animdp=\dimen109 +\beamer@animwd=\dimen110 +\beamer@leftmargin=\dimen111 +\beamer@rightmargin=\dimen112 +\beamer@leftsidebar=\dimen113 +\beamer@rightsidebar=\dimen114 +\beamer@boxsize=\dimen115 +\beamer@vboxoffset=\dimen116 +\beamer@descdefault=\dimen117 +\beamer@descriptionwidth=\dimen118 +\beamer@lastskip=\skip41 +\beamer@areabox=\box28 +\beamer@animcurrent=\box29 +\beamer@animshowbox=\box30 +\beamer@sectionbox=\box31 +\beamer@logobox=\box32 +\beamer@linebox=\box33 +\beamer@sectioncount=\count84 +\beamer@subsubsectionmax=\count85 +\beamer@subsectionmax=\count86 +\beamer@sectionmax=\count87 +\beamer@totalheads=\count88 +\beamer@headcounter=\count89 +\beamer@partstartpage=\count90 +\beamer@sectionstartpage=\count91 +\beamer@subsectionstartpage=\count92 +\beamer@animationtempa=\count93 +\beamer@animationtempb=\count94 +\beamer@xpos=\count95 +\beamer@ypos=\count96 +\beamer@showpartnumber=\count97 +\beamer@currentsubsection=\count98 +\beamer@coveringdepth=\count99 +\beamer@sectionadjust=\count100 +\beamer@tocsectionnumber=\count101 + +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseoptions.sty +Package: beamerbaseoptions 2007/01/28 (rcs-revision 1.8) + +(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 1999/03/16 v1.13 key=value parser (DPC) +\KV@toks@=\toks14 +)) +(/usr/share/texmf-site/tex/latex/pgf/basiclayer/pgfcore.sty +(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) + +(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty +Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR) + +(/usr/share/texmf-dist/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 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive +) +Package graphics Info: Driver file: pdftex.def on input line 90. + +(/usr/share/texmf-dist/tex/latex/pdftex-def/pdftex.def +File: pdftex.def 2008/07/16 v0.04k Graphics/color for pdfTeX +\Gread@gobject=\count102 +)) +\Gin@req@height=\dimen119 +\Gin@req@width=\dimen120 +) +(/usr/share/texmf-site/tex/latex/pgf/systemlayer/pgfsys.sty +(/usr/share/texmf-site/tex/latex/pgf/utilities/pgfrcs.sty +(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfutil-common.tex +\pgfutil@everybye=\toks15 +) +(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfutil-latex.def) +(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfrcs.code.tex +Package: pgfrcs 2008/02/20 v2.00 (rcs-revision 1.21) +)) +(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsys.code.tex +Package: pgfsys 2008/02/07 v2.00 (rcs-revision 1.31) + +(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfkeys.code.tex +\pgfkeys@pathtoks=\toks16 +\pgfkeys@temptoks=\toks17 +) +\pgf@x=\dimen121 +\pgf@y=\dimen122 +\pgf@xa=\dimen123 +\pgf@ya=\dimen124 +\pgf@xb=\dimen125 +\pgf@yb=\dimen126 +\pgf@xc=\dimen127 +\pgf@yc=\dimen128 +\c@pgf@counta=\count103 +\c@pgf@countb=\count104 +\c@pgf@countc=\count105 +\c@pgf@countd=\count106 + +(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgf.cfg +File: pgf.cfg 2008/01/13 (rcs-revision 1.6) +) +Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 885. + +(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsys-pdftex.def +File: pgfsys-pdftex.def 2007/12/20 (rcs-revision 1.20) + +(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def +File: pgfsys-common-pdf.def 2007/12/17 (rcs-revision 1.8) +))) +(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex +File: pgfsyssoftpath.code.tex 2008/01/23 (rcs-revision 1.6) +\pgfsyssoftpath@smallbuffer@items=\count107 +\pgfsyssoftpath@bigbuffer@items=\count108 +) +(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex +File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) +)) +(/usr/share/texmf-site/tex/latex/xcolor/xcolor.sty +Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) + +(/usr/share/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-site/tex/generic/pgf/basiclayer/pgfcore.code.tex +Package: pgfcore 2008/01/15 v2.00 (rcs-revision 1.6) + +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmath.code.tex +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathcalc.code.tex +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathutil.code.tex +\pgfmath@box=\box34 +) +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathparser.code.tex +\pgfmath@stack=\toks18 +\c@pgfmath@parsecounta=\count109 +\c@pgfmath@parsecountb=\count110 +\c@pgfmath@parsecountc=\count111 +\pgfmath@parsex=\dimen129 +) +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathoperations.code.tex +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathtrig.code.tex) +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathrnd.code.tex)) +(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathbase.code.tex))) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex +File: pgfcorepoints.code.tex 2008/02/03 (rcs-revision 1.13) +\pgf@picminx=\dimen130 +\pgf@picmaxx=\dimen131 +\pgf@picminy=\dimen132 +\pgf@picmaxy=\dimen133 +\pgf@pathminx=\dimen134 +\pgf@pathmaxx=\dimen135 +\pgf@pathminy=\dimen136 +\pgf@pathmaxy=\dimen137 +\pgf@xx=\dimen138 +\pgf@xy=\dimen139 +\pgf@yx=\dimen140 +\pgf@yy=\dimen141 +\pgf@zx=\dimen142 +\pgf@zy=\dimen143 +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex +File: pgfcorepathconstruct.code.tex 2008/02/13 (rcs-revision 1.14) +\pgf@path@lastx=\dimen144 +\pgf@path@lasty=\dimen145 +) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex +File: pgfcorepathusage.code.tex 2008/01/23 (rcs-revision 1.11) +\pgf@shorten@end@additional=\dimen146 +\pgf@shorten@start@additional=\dimen147 +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex +File: pgfcorescopes.code.tex 2008/01/15 (rcs-revision 1.26) +\pgfpic=\box35 +\pgf@hbox=\box36 +\pgf@layerbox@main=\box37 +\pgf@picture@serial@count=\count112 +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex +File: pgfcoregraphicstate.code.tex 2007/12/12 (rcs-revision 1.8) +\pgflinewidth=\dimen148 +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoretransformations.code.t +ex +File: pgfcoretransformations.code.tex 2008/02/04 (rcs-revision 1.10) +\pgf@pt@x=\dimen149 +\pgf@pt@y=\dimen150 +\pgf@pt@temp=\dimen151 +) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorequick.code.tex +File: pgfcorequick.code.tex 2006/10/11 (rcs-revision 1.2) +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex +File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.te +x +File: pgfcorepathprocessing.code.tex 2008/01/23 (rcs-revision 1.7) +) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex +File: pgfcorearrows.code.tex 2007/06/07 (rcs-revision 1.8) +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex +File: pgfcoreshade.code.tex 2007/12/10 (rcs-revision 1.9) +\pgf@max=\dimen152 +\pgf@sys@shading@range@num=\count113 +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex +File: pgfcoreimage.code.tex 2008/01/15 (rcs-revision 1.1) +\pgfexternal@startupbox=\box38 +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex +File: pgfcorelayers.code.tex 2008/01/15 (rcs-revision 1.1) +) +(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex +File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) +) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex +File: pgfcorepatterns.code.tex 2008/01/15 (rcs-revision 1.1) +))) +(/usr/share/texmf-site/tex/latex/pgf/basiclayer/pgfbaseimage.sty + +Package pgf Warning: This package is obsolete and no longer needed on input lin +e 13. + +) (/usr/share/texmf-site/tex/latex/pgf/utilities/xxcolor.sty +Package: xxcolor 2003/10/24 ver 0.1 +\XC@nummixins=\count114 +\XC@countmixins=\count115 +) +(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty +Package: amssymb 2002/01/22 v2.2d + +(/usr/share/texmf-dist/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-dist/tex/latex/geometry/geometry.sty +Package: geometry 2002/07/08 v3.2 Page Geometry +\Gm@cnth=\count116 +\Gm@cntv=\count117 +\c@Gm@tempcnt=\count118 +\Gm@bindingoffset=\dimen153 +\Gm@wd@mp=\dimen154 +\Gm@odd@mp=\dimen155 +\Gm@even@mp=\dimen156 +\Gm@dimlist=\toks20 +) +(/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty +Package: hyperref 2008/08/14 v6.78f Hypertext links for LaTeX + +(/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty +Package: ifpdf 2007/12/12 v1.6 Provides the ifpdf switch (HO) +Package ifpdf Info: pdfTeX in pdf mode detected. +) +(/usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty +Package: ifvtex 2007/09/09 v1.3 Switches for detecting VTeX and its modes (HO) +Package ifvtex Info: VTeX not detected. +) +(/usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty +Package: ifxetex 2006/08/21 v0.3 Provides ifxetex conditional +) +(/usr/share/texmf-dist/tex/latex/oberdiek/hycolor.sty +Package: hycolor 2008/08/01 v1.3 Code for color options of hyperref/bookmark (H +O) + +(/usr/share/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty +Package: xcolor-patch 2008/08/01 xcolor patch +)) +\@linkdim=\dimen157 +\Hy@linkcounter=\count119 +\Hy@pagecounter=\count120 + +(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def +File: pd1enc.def 2008/08/14 v6.78f Hyperref: PDFDocEncoding definition (HO) +) +(/usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty +Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) + +(/usr/share/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/share/texmf/tex/latex/config/hyperref.cfg +File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive +) +(/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty +Package: kvoptions 2007/10/18 v3.0 Keyval support for LaTeX options (HO) +) +Package hyperref Info: Option `bookmarks' set `true' on input line 2765. +Package hyperref Info: Option `bookmarksopen' set `true' on input line 2765. +Package hyperref Info: Option `implicit' set `false' on input line 2765. +Package hyperref Info: Hyper figures OFF on input line 2876. +Package hyperref Info: Link nesting OFF on input line 2881. +Package hyperref Info: Hyper index ON on input line 2884. +Package hyperref Info: Plain pages OFF on input line 2891. +Package hyperref Info: Backreferencing OFF on input line 2896. + +Implicit mode OFF; no redefinition of LaTeX internals +Package hyperref Info: Bookmarks ON on input line 3086. +(/usr/share/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 3272. + +(/usr/share/texmf-dist/tex/generic/oberdiek/bitset.sty +Package: bitset 2007/09/28 v1.0 Data type bit set (HO) + +(/usr/share/texmf-dist/tex/generic/oberdiek/intcalc.sty +Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) +) +(/usr/share/texmf-dist/tex/generic/oberdiek/bigintcalc.sty +Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) + +(/usr/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty +Package: pdftexcmds 2007/12/12 v0.3 LuaTeX support for pdfTeX utility functions + (HO) +Package pdftexcmds Info: LuaTeX not detected on input line 139. +))) +(/usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty +Package: kvsetkeys 2007/09/29 v1.3 Key value parser with default handler suppor +t (HO) +) +\Fld@menulength=\count121 +\Field@Width=\dimen158 +\Fld@charsize=\dimen159 +\Field@toks=\toks21 +Package hyperref Info: Hyper figures OFF on input line 4189. +Package hyperref Info: Link nesting OFF on input line 4194. +Package hyperref Info: Hyper index ON on input line 4197. +Package hyperref Info: backreferencing OFF on input line 4204. +Package hyperref Info: Link coloring OFF on input line 4209. +Package hyperref Info: Link coloring with OCG OFF on input line 4214. +Package hyperref Info: PDF/A mode OFF on input line 4219. + +(/usr/share/texmf-dist/tex/generic/oberdiek/atbegshi.sty +Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) +) + +Package hyperref Warning: Option `pdfpagelabels' is turned off +(hyperref) because \thepage is undefined. + +Hyperref stopped early +) +*hyperref using default driver hpdftex* +(/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def +File: hpdftex.def 2008/08/14 v6.78f Hyperref driver for pdfTeX +\Fld@listcount=\count122 +) +(/usr/share/texmf-dist/tex/latex/extsizes/size9.clo +File: size9.clo 1999/11/11 v1.4a NON-Standard LaTeX file (size option) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasecompatibility.sty +Package: beamerbasecompatibility 2007/01/28 (rcs-revision 1.63) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasefont.sty +Package: beamerbasefont 2007/01/28 (rcs-revision 1.16) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasemisc.sty +Package: beamerbasemisc 2007/01/28 (rcs-revision 1.24) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetwoscreens.sty +Package: beamerbasetwoscreens 2007/01/28 (rcs-revision 1.7) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseoverlay.sty +Package: beamerbaseoverlay 2007/01/28 (rcs-revision 1.50) +\beamer@argscount=\count123 +\beamer@lastskipcover=\skip42 +\beamer@trivlistdepth=\count124 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetitle.sty +Package: beamerbasetitle 2007/01/28 (rcs-revision 1.25) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasesection.sty +Package: beamerbasesection 2007/01/28 (rcs-revision 1.21) +\c@lecture=\count125 +\c@part=\count126 +\c@section=\count127 +\c@subsection=\count128 +\c@subsubsection=\count129 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseframe.sty +Package: beamerbaseframe 2007/01/28 (rcs-revision 1.60) +\beamer@framebox=\box39 +\beamer@frametitlebox=\box40 +\beamer@zoombox=\box41 +\beamer@zoomcount=\count130 +\beamer@zoomframecount=\count131 +\beamer@frametextheight=\dimen160 +\c@subsectionslide=\count132 +\beamer@frametopskip=\skip43 +\beamer@framebottomskip=\skip44 +\beamer@frametopskipautobreak=\skip45 +\beamer@framebottomskipautobreak=\skip46 +\beamer@envbody=\toks22 +\c@framenumber=\count133 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseverbatim.sty +Package: beamerbaseverbatim 2007/01/28 (rcs-revision 1.8) +\beamer@verbatimfileout=\write3 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseframesize.sty +Package: beamerbaseframesize 2007/01/28 (rcs-revision 1.18) +\beamer@splitbox=\box42 +\beamer@autobreakcount=\count134 +\beamer@autobreaklastheight=\dimen161 +\beamer@frametitletoks=\toks23 +\beamer@framesubtitletoks=\toks24 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseframecomponents.sty +Package: beamerbaseframecomponents 2007/01/28 (rcs-revision 1.41) +\beamer@footins=\box43 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasecolor.sty +Package: beamerbasecolor 2007/01/28 (rcs-revision 1.42) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasenotes.sty +Package: beamerbasenotes 2007/01/28 (rcs-revision 1.23) +\beamer@frameboxcopy=\box44 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetoc.sty +Package: beamerbasetoc 2007/01/28 (rcs-revision 1.21) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetemplates.sty +Package: beamerbasetemplates 2007/01/28 (rcs-revision 1.51) +\beamer@sbttoks=\toks25 + +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseauxtemplates.sty +Package: beamerbaseauxtemplates 2007/01/28 (rcs-revision 1.28) + +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseboxes.sty +Package: beamerbaseboxes 2007/03/11 (rcs-revision 1.32) +\bmb@box=\box45 +\bmb@colorbox=\box46 +\bmb@boxshadow=\box47 +\bmb@boxshadowball=\box48 +\bmb@boxshadowballlarge=\box49 +\bmb@temp=\dimen162 +\bmb@dima=\dimen163 +\bmb@dimb=\dimen164 +\bmb@prevheight=\dimen165 +) +\beamer@blockheadheight=\dimen166 +)) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaselocalstructure.sty +Package: beamerbaselocalstructure 2007/01/28 (rcs-revision 1.53) + +(/usr/share/texmf-dist/tex/latex/tools/enumerate.sty +Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) +\@enLab=\toks26 +) +\c@figure=\count135 +\c@table=\count136 +\abovecaptionskip=\skip47 +\belowcaptionskip=\skip48 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasenavigation.sty +Package: beamerbasenavigation 2007/01/28 (rcs-revision 1.36) +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetheorems.sty +Package: beamerbasetheorems 2007/01/28 (rcs-revision 1.10) + +(/usr/share/texmf-site/tex/latex/translator/translator.sty +Package: translator 2007/03/11 ver 1.00 + +(/usr/share/texmf-site/tex/latex/translator/translator-language-mappings.tex)) +(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2000/07/18 v2.13 AMS math features +\@mathmargin=\skip49 + +For additional information on amsmath, use the `?' option. +(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2000/06/29 v2.01 + +(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty +File: amsgen.sty 1999/11/30 v2.0 +\@emptytoks=\toks27 +\ex@=\dimen167 +)) +(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d +\pmbraise@=\dimen168 +) +(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 1999/12/14 v2.01 operator names +) +\inf@bad=\count137 +LaTeX Info: Redefining \frac on input line 211. +\uproot@=\count138 +\leftroot@=\count139 +LaTeX Info: Redefining \overline on input line 307. +\classnum@=\count140 +\DOTSCASE@=\count141 +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@=\box50 +\strutbox@=\box51 +\big@size=\dimen169 +LaTeX Font Info: Redeclaring font encoding OML on input line 567. +LaTeX Font Info: Redeclaring font encoding OMS on input line 568. +\macc@depth=\count142 +\c@MaxMatrixCols=\count143 +\dotsspace@=\muskip11 +\c@parentequation=\count144 +\dspbrk@lvl=\count145 +\tag@help=\toks28 +\row@=\count146 +\column@=\count147 +\maxfields@=\count148 +\andhelp@=\toks29 +\eqnshift@=\dimen170 +\alignsep@=\dimen171 +\tagshift@=\dimen172 +\tagwidth@=\dimen173 +\totwidth@=\dimen174 +\lineht@=\dimen175 +\@envbody=\toks30 +\multlinegap=\skip50 +\multlinetaggap=\skip51 +\mathdisplay@stack=\toks31 +LaTeX Info: Redefining \[ on input line 2666. +LaTeX Info: Redefining \] on input line 2667. +) +(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty +Package: amsthm 2004/08/06 v2.20 +\thm@style=\toks32 +\thm@bodyfont=\toks33 +\thm@headfont=\toks34 +\thm@notefont=\toks35 +\thm@headpunct=\toks36 +\thm@preskip=\skip52 +\thm@postskip=\skip53 +\thm@headsep=\skip54 +\dth@everypar=\toks37 +) +\c@theorem=\count149 +) +(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasethemes.sty +Package: beamerbasethemes 2007/01/28 (rcs-revision 1.10) +) +(/usr/share/texmf-site/tex/latex/beamer/themes/theme/beamerthemedefault.sty +Package: beamerthemedefault 2007/01/28 (rcs-revision 1.7) + +(/usr/share/texmf-site/tex/latex/beamer/themes/font/beamerfontthemedefault.sty +Package: beamerfontthemedefault 2007/01/28 (rcs-revision 1.13) +) +(/usr/share/texmf-site/tex/latex/beamer/themes/color/beamercolorthemedefault.st +y +Package: beamercolorthemedefault 2007/01/28 (rcs-revision 1.28) +) +(/usr/share/texmf-site/tex/latex/beamer/themes/inner/beamerinnerthemedefault.st +y +Package: beamerinnerthemedefault 2007/01/28 (rcs-revision 1.20) +\beamer@dima=\dimen176 +\beamer@dimb=\dimen177 +) +(/usr/share/texmf-site/tex/latex/beamer/themes/outer/beamerouterthemedefault.st +y +Package: beamerouterthemedefault 2007/01/28 (rcs-revision 1.14) +))) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2006/05/05 v1.1b Input encoding file +\inpenc@prehook=\toks38 +\inpenc@posthook=\toks39 + +(/usr/share/texmf-dist/tex/latex/ucs/utf8x.def +File: utf8x.def 2004/10/17 UCS: Input encoding UTF-8 +)) +(/usr/share/texmf-dist/tex/latex/ucs/ucs.sty +Package: ucs 2004/10/17 UCS: Unicode input support + +(/usr/share/texmf-dist/tex/latex/ucs/data/uni-global.def +File: uni-global.def 2004/10/17 UCS: Unicode global data +) +\uc@secondtry=\count150 +\uc@combtoks=\toks40 +\uc@combtoksb=\toks41 +\uc@temptokena=\toks42 +) +(/usr/share/texmf-dist/tex/generic/babel/babel.sty +Package: babel 2008/07/06 v3.8l The Babel package + +(/usr/share/texmf-dist/tex/generic/babel/english.ldf +Language: english 2005/03/30 v3.3o English support from the babel system + +(/usr/share/texmf-dist/tex/generic/babel/babel.def +File: babel.def 2008/07/06 v3.8l Babel common definitions +LaTeX Info: Redefining \textlatin on input line 82. +\babel@savecnt=\count151 +\U@D=\dimen178 +) +\l@british = a dialect from \language\l@english +\l@UKenglish = a dialect from \language\l@english +\l@canadian = a dialect from \language\l@american +\l@australian = a dialect from \language\l@british +\l@newzealand = a dialect from \language\l@british +)) +(/usr/share/texmf-dist/tex/latex/arev/arev.sty +Package: arev 2005/06/14 0.1 Arev Sans package + +(/usr/share/texmf-dist/tex/latex/arev/arevtext.sty +Package: arevtext 2005/09/01 0.1 Arev Sans Text package + +(/usr/share/texmf-dist/tex/latex/base/fontenc.sty +Package: fontenc 2005/09/27 v1.99g Standard LaTeX package + +(/usr/share/texmf-dist/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-dist/tex/latex/base/textcomp.sty +Package: textcomp 2005/09/27 v1.99g Standard LaTeX package +Package textcomp Info: Sub-encoding information: +(textcomp) 5 = only ISO-Adobe without \textcurrency +(textcomp) 4 = 5 + \texteuro +(textcomp) 3 = 4 + \textohm +(textcomp) 2 = 3 + \textestimated + \textcurrency +(textcomp) 1 = TS1 - \textcircled - \t +(textcomp) 0 = TS1 (full) +(textcomp) Font families with sub-encoding setting implement +(textcomp) only a restricted character set as indicated. +(textcomp) Family '?' is the default used for unknown fonts. +(textcomp) See the documentation for details. +Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71. + +(/usr/share/texmf-dist/tex/latex/base/ts1enc.def +File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file +) +LaTeX Info: Redefining \oldstylenums on input line 266. +Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281. +Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282. +Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283. +Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284. +Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285. +Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286. +Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287. +Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288. +Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289. +Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290. +Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291. +Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292. +Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293. +Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294. +Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295. +Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296. +Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297. +Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298. +Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299. +Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300. +Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301. +Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302. +Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303. +Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304. + +Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305. +Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306. +Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307. +Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308. +Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309. +Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310. +Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 311. +Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 312. +Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 313. +Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 314. +Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 315. +Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 316. +Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 317. +Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 318. +Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 319. +Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 320. +Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 321. +Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 322. +Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 323. +Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 324. +Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 325. +Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 326. +)) +(/usr/share/texmf-dist/tex/latex/arev/arevmath.sty +Package: arevmath 2006/02/19 0.1 Arev Sans Math package + +(/usr/share/texmf-dist/tex/latex/arev/ams-mdbch.sty +Package: ams-mdbch 2005/05/08 v1.4 Bold mdbch (Math Design Project) to replace +AMS fonts +\symmathdesignA=\mathgroup6 +LaTeX Font Info: Overwriting symbol font `mathdesignA' in version `bold' +(Font) MDA/mdbch/b/n --> MDA/mdbch/b/n on input line 47. +LaTeX Font Info: Overwriting encoding scheme math defaults on input line 52. + +LaTeX Info: Redefining \bold on input line 64. +LaTeX Font Info: Redeclaring math delimiter \ulcorner on input line 82. +LaTeX Font Info: Redeclaring math delimiter \urcorner on input line 83. +LaTeX Font Info: Redeclaring math delimiter \llcorner on input line 84. +LaTeX Font Info: Redeclaring math delimiter \lrcorner on input line 85. +LaTeX Font Info: Redeclaring math accent \widetilde on input line 86. +LaTeX Font Info: Redeclaring math accent \widehat on input line 87. +LaTeX Font Info: Redeclaring math symbol \dabar@ on input line 88. +LaTeX Font Info: Redeclaring math symbol \lvertneqq on input line 96. +LaTeX Font Info: Redeclaring math symbol \gvertneqq on input line 97. +LaTeX Font Info: Redeclaring math symbol \nleq on input line 98. +LaTeX Font Info: Redeclaring math symbol \ngeq on input line 99. +LaTeX Font Info: Redeclaring math symbol \nless on input line 100. +LaTeX Font Info: Redeclaring math symbol \ngtr on input line 101. +LaTeX Font Info: Redeclaring math symbol \nprec on input line 102. +LaTeX Font Info: Redeclaring math symbol \nsucc on input line 103. +LaTeX Font Info: Redeclaring math symbol \lneqq on input line 104. +LaTeX Font Info: Redeclaring math symbol \gneqq on input line 105. +LaTeX Font Info: Redeclaring math symbol \nleqslant on input line 106. +LaTeX Font Info: Redeclaring math symbol \ngeqslant on input line 107. +LaTeX Font Info: Redeclaring math symbol \lneq on input line 108. +LaTeX Font Info: Redeclaring math symbol \gneq on input line 109. +LaTeX Font Info: Redeclaring math symbol \npreceq on input line 110. +LaTeX Font Info: Redeclaring math symbol \nsucceq on input line 111. +LaTeX Font Info: Redeclaring math symbol \precnsim on input line 112. +LaTeX Font Info: Redeclaring math symbol \succnsim on input line 113. +LaTeX Font Info: Redeclaring math symbol \lnsim on input line 114. +LaTeX Font Info: Redeclaring math symbol \gnsim on input line 115. +LaTeX Font Info: Redeclaring math symbol \nleqq on input line 116. +LaTeX Font Info: Redeclaring math symbol \ngeqq on input line 117. +LaTeX Font Info: Redeclaring math symbol \precneqq on input line 118. +LaTeX Font Info: Redeclaring math symbol \succneqq on input line 119. +LaTeX Font Info: Redeclaring math symbol \precnapprox on input line 120. +LaTeX Font Info: Redeclaring math symbol \succnapprox on input line 121. +LaTeX Font Info: Redeclaring math symbol \lnapprox on input line 122. +LaTeX Font Info: Redeclaring math symbol \gnapprox on input line 123. +LaTeX Font Info: Redeclaring math symbol \nsim on input line 124. +LaTeX Font Info: Redeclaring math symbol \ncong on input line 125. +LaTeX Font Info: Redeclaring math symbol \diagup on input line 126. +LaTeX Font Info: Redeclaring math symbol \diagdown on input line 127. +LaTeX Font Info: Redeclaring math symbol \varsubsetneq on input line 128. +LaTeX Font Info: Redeclaring math symbol \varsupsetneq on input line 129. +LaTeX Font Info: Redeclaring math symbol \nsubseteqq on input line 130. +LaTeX Font Info: Redeclaring math symbol \nsupseteqq on input line 131. +LaTeX Font Info: Redeclaring math symbol \subsetneqq on input line 132. +LaTeX Font Info: Redeclaring math symbol \supsetneqq on input line 133. +LaTeX Font Info: Redeclaring math symbol \varsubsetneqq on input line 134. +LaTeX Font Info: Redeclaring math symbol \varsupsetneqq on input line 135. +LaTeX Font Info: Redeclaring math symbol \subsetneq on input line 136. +LaTeX Font Info: Redeclaring math symbol \supsetneq on input line 137. +LaTeX Font Info: Redeclaring math symbol \nsubseteq on input line 138. +LaTeX Font Info: Redeclaring math symbol \nsupseteq on input line 139. +LaTeX Font Info: Redeclaring math symbol \nparallel on input line 140. +LaTeX Font Info: Redeclaring math symbol \nmid on input line 141. +LaTeX Font Info: Redeclaring math symbol \nshortmid on input line 142. +LaTeX Font Info: Redeclaring math symbol \nshortparallel on input line 143. +LaTeX Font Info: Redeclaring math symbol \nvdash on input line 144. +LaTeX Font Info: Redeclaring math symbol \nVdash on input line 145. +LaTeX Font Info: Redeclaring math symbol \nvDash on input line 146. +LaTeX Font Info: Redeclaring math symbol \nVDash on input line 147. +LaTeX Font Info: Redeclaring math symbol \ntrianglerighteq on input line 148 +. +LaTeX Font Info: Redeclaring math symbol \ntrianglelefteq on input line 149. + +LaTeX Font Info: Redeclaring math symbol \ntriangleleft on input line 150. +LaTeX Font Info: Redeclaring math symbol \ntriangleright on input line 151. +LaTeX Font Info: Redeclaring math symbol \nleftarrow on input line 152. +LaTeX Font Info: Redeclaring math symbol \nrightarrow on input line 153. +LaTeX Font Info: Redeclaring math symbol \nLeftarrow on input line 154. +LaTeX Font Info: Redeclaring math symbol \nRightarrow on input line 155. +LaTeX Font Info: Redeclaring math symbol \nLeftrightarrow on input line 156. + +LaTeX Font Info: Redeclaring math symbol \nleftrightarrow on input line 157. + +LaTeX Font Info: Redeclaring math symbol \divideontimes on input line 158. +LaTeX Font Info: Redeclaring math symbol \varnothing on input line 159. +LaTeX Font Info: Redeclaring math symbol \nexists on input line 160. +LaTeX Font Info: Redeclaring math symbol \Join on input line 161. +LaTeX Font Info: Redeclaring math symbol \Finv on input line 165. +LaTeX Font Info: Redeclaring math symbol \Game on input line 166. +LaTeX Font Info: Redeclaring math symbol \eqsim on input line 167. +LaTeX Font Info: Redeclaring math symbol \beth on input line 168. +LaTeX Font Info: Redeclaring math symbol \gimel on input line 169. +LaTeX Font Info: Redeclaring math symbol \daleth on input line 170. +LaTeX Font Info: Redeclaring math symbol \lessdot on input line 171. +LaTeX Font Info: Redeclaring math symbol \gtrdot on input line 172. +LaTeX Font Info: Redeclaring math symbol \ltimes on input line 173. +LaTeX Font Info: Redeclaring math symbol \rtimes on input line 174. +LaTeX Font Info: Redeclaring math symbol \shortmid on input line 175. +LaTeX Font Info: Redeclaring math symbol \shortparallel on input line 176. +LaTeX Font Info: Redeclaring math symbol \smallsetminus on input line 177. +LaTeX Font Info: Redeclaring math symbol \thicksim on input line 178. +LaTeX Font Info: Redeclaring math symbol \thickapprox on input line 179. +LaTeX Font Info: Redeclaring math symbol \approxeq on input line 180. +LaTeX Font Info: Redeclaring math symbol \succapprox on input line 181. +LaTeX Font Info: Redeclaring math symbol \precapprox on input line 182. +LaTeX Font Info: Redeclaring math symbol \curvearrowleft on input line 183. +LaTeX Font Info: Redeclaring math symbol \curvearrowright on input line 184. + +LaTeX Font Info: Redeclaring math symbol \Bbbk on input line 189. +LaTeX Font Info: Redeclaring math symbol \backepsilon on input line 190. +LaTeX Font Info: Redeclaring math symbol \boxdot on input line 192. +LaTeX Font Info: Redeclaring math symbol \boxplus on input line 193. +LaTeX Font Info: Redeclaring math symbol \boxtimes on input line 194. +LaTeX Font Info: Redeclaring math symbol \square on input line 195. +LaTeX Font Info: Redeclaring math symbol \blacksquare on input line 196. +LaTeX Font Info: Redeclaring math symbol \centerdot on input line 197. +LaTeX Font Info: Redeclaring math symbol \lozenge on input line 198. +LaTeX Font Info: Redeclaring math symbol \blacklozenge on input line 199. +LaTeX Font Info: Redeclaring math symbol \circlearrowright on input line 200 +. +LaTeX Font Info: Redeclaring math symbol \circlearrowleft on input line 201. + +LaTeX Font Info: Redeclaring math symbol \rightleftharpoons on input line 20 +3. +LaTeX Font Info: Redeclaring math symbol \leftrightharpoons on input line 20 +4. +LaTeX Font Info: Redeclaring math symbol \boxminus on input line 205. +LaTeX Font Info: Redeclaring math symbol \Vdash on input line 206. +LaTeX Font Info: Redeclaring math symbol \Vvdash on input line 207. +LaTeX Font Info: Redeclaring math symbol \vDash on input line 208. +LaTeX Font Info: Redeclaring math symbol \twoheadrightarrow on input line 20 +9. +LaTeX Font Info: Redeclaring math symbol \twoheadleftarrow on input line 210 +. +LaTeX Font Info: Redeclaring math symbol \leftleftarrows on input line 211. +LaTeX Font Info: Redeclaring math symbol \rightrightarrows on input line 212 +. +LaTeX Font Info: Redeclaring math symbol \upuparrows on input line 213. +LaTeX Font Info: Redeclaring math symbol \downdownarrows on input line 214. +LaTeX Font Info: Redeclaring math symbol \upharpoonright on input line 215. +LaTeX Font Info: Redeclaring math symbol \downharpoonright on input line 217 +. +LaTeX Font Info: Redeclaring math symbol \upharpoonleft on input line 218. +LaTeX Font Info: Redeclaring math symbol \downharpoonleft on input line 219. + +LaTeX Font Info: Redeclaring math symbol \rightarrowtail on input line 220. +LaTeX Font Info: Redeclaring math symbol \leftarrowtail on input line 221. +LaTeX Font Info: Redeclaring math symbol \leftrightarrows on input line 222. + +LaTeX Font Info: Redeclaring math symbol \rightleftarrows on input line 223. + +LaTeX Font Info: Redeclaring math symbol \Lsh on input line 224. +LaTeX Font Info: Redeclaring math symbol \Rsh on input line 225. +LaTeX Font Info: Redeclaring math symbol \rightsquigarrow on input line 226. + +LaTeX Font Info: Redeclaring math symbol \leftrightsquigarrow on input line +227. +LaTeX Font Info: Redeclaring math symbol \looparrowleft on input line 228. +LaTeX Font Info: Redeclaring math symbol \looparrowright on input line 229. +LaTeX Font Info: Redeclaring math symbol \circeq on input line 230. +LaTeX Font Info: Redeclaring math symbol \succsim on input line 231. +LaTeX Font Info: Redeclaring math symbol \gtrsim on input line 232. +LaTeX Font Info: Redeclaring math symbol \gtrapprox on input line 233. +LaTeX Font Info: Redeclaring math symbol \multimap on input line 234. +LaTeX Font Info: Redeclaring math symbol \therefore on input line 235. +LaTeX Font Info: Redeclaring math symbol \because on input line 236. +LaTeX Font Info: Redeclaring math symbol \doteqdot on input line 237. +LaTeX Font Info: Redeclaring math symbol \triangleq on input line 239. +LaTeX Font Info: Redeclaring math symbol \precsim on input line 240. +LaTeX Font Info: Redeclaring math symbol \lesssim on input line 241. +LaTeX Font Info: Redeclaring math symbol \lessapprox on input line 242. +LaTeX Font Info: Redeclaring math symbol \eqslantless on input line 243. +LaTeX Font Info: Redeclaring math symbol \eqslantgtr on input line 244. +LaTeX Font Info: Redeclaring math symbol \curlyeqprec on input line 245. +LaTeX Font Info: Redeclaring math symbol \curlyeqsucc on input line 246. +LaTeX Font Info: Redeclaring math symbol \preccurlyeq on input line 247. +LaTeX Font Info: Redeclaring math symbol \leqq on input line 248. +LaTeX Font Info: Redeclaring math symbol \leqslant on input line 249. +LaTeX Font Info: Redeclaring math symbol \lessgtr on input line 250. +LaTeX Font Info: Redeclaring math symbol \backprime on input line 251. +LaTeX Font Info: Redeclaring math symbol \risingdotseq on input line 252. +LaTeX Font Info: Redeclaring math symbol \fallingdotseq on input line 253. +LaTeX Font Info: Redeclaring math symbol \succcurlyeq on input line 254. +LaTeX Font Info: Redeclaring math symbol \geqq on input line 255. +LaTeX Font Info: Redeclaring math symbol \geqslant on input line 256. +LaTeX Font Info: Redeclaring math symbol \gtrless on input line 257. +LaTeX Font Info: Redeclaring math symbol \sqsubset on input line 258. +LaTeX Font Info: Redeclaring math symbol \sqsupset on input line 259. +LaTeX Font Info: Redeclaring math symbol \vartriangleright on input line 260 +. +LaTeX Font Info: Redeclaring math symbol \vartriangleleft on input line 261. + +LaTeX Font Info: Redeclaring math symbol \trianglerighteq on input line 262. + +LaTeX Font Info: Redeclaring math symbol \trianglelefteq on input line 263. +LaTeX Font Info: Redeclaring math symbol \bigstar on input line 264. +LaTeX Font Info: Redeclaring math symbol \between on input line 265. +LaTeX Font Info: Redeclaring math symbol \blacktriangledown on input line 26 +6. +LaTeX Font Info: Redeclaring math symbol \blacktriangleright on input line 2 +67. +LaTeX Font Info: Redeclaring math symbol \blacktriangleleft on input line 26 +8. +LaTeX Font Info: Redeclaring math symbol \vartriangle on input line 269. +LaTeX Font Info: Redeclaring math symbol \blacktriangle on input line 270. +LaTeX Font Info: Redeclaring math symbol \triangledown on input line 271. +LaTeX Font Info: Redeclaring math symbol \eqcirc on input line 272. +LaTeX Font Info: Redeclaring math symbol \lesseqgtr on input line 273. +LaTeX Font Info: Redeclaring math symbol \gtreqless on input line 274. +LaTeX Font Info: Redeclaring math symbol \lesseqqgtr on input line 275. +LaTeX Font Info: Redeclaring math symbol \gtreqqless on input line 276. +LaTeX Font Info: Redeclaring math symbol \Rrightarrow on input line 277. +LaTeX Font Info: Redeclaring math symbol \Lleftarrow on input line 278. +LaTeX Font Info: Redeclaring math symbol \veebar on input line 279. +LaTeX Font Info: Redeclaring math symbol \barwedge on input line 280. +LaTeX Font Info: Redeclaring math symbol \doublebarwedge on input line 281. +LaTeX Font Info: Redeclaring math symbol \angle on input line 282. +LaTeX Font Info: Redeclaring math symbol \measuredangle on input line 283. +LaTeX Font Info: Redeclaring math symbol \sphericalangle on input line 284. +LaTeX Font Info: Redeclaring math symbol \varpropto on input line 285. +LaTeX Font Info: Redeclaring math symbol \smallsmile on input line 286. +LaTeX Font Info: Redeclaring math symbol \smallfrown on input line 287. +LaTeX Font Info: Redeclaring math symbol \Subset on input line 288. +LaTeX Font Info: Redeclaring math symbol \Supset on input line 289. +LaTeX Font Info: Redeclaring math symbol \Cup on input line 290. +LaTeX Font Info: Redeclaring math symbol \Cap on input line 292. +LaTeX Font Info: Redeclaring math symbol \curlywedge on input line 294. +LaTeX Font Info: Redeclaring math symbol \curlyvee on input line 295. +LaTeX Font Info: Redeclaring math symbol \leftthreetimes on input line 296. +LaTeX Font Info: Redeclaring math symbol \rightthreetimes on input line 297. + +LaTeX Font Info: Redeclaring math symbol \subseteqq on input line 298. +LaTeX Font Info: Redeclaring math symbol \supseteqq on input line 299. +LaTeX Font Info: Redeclaring math symbol \bumpeq on input line 300. +LaTeX Font Info: Redeclaring math symbol \Bumpeq on input line 301. +LaTeX Font Info: Redeclaring math symbol \lll on input line 302. +LaTeX Font Info: Redeclaring math symbol \ggg on input line 304. +LaTeX Font Info: Redeclaring math symbol \circledS on input line 306. +LaTeX Font Info: Redeclaring math symbol \pitchfork on input line 307. +LaTeX Font Info: Redeclaring math symbol \dotplus on input line 308. +LaTeX Font Info: Redeclaring math symbol \backsim on input line 309. +LaTeX Font Info: Redeclaring math symbol \backsimeq on input line 310. +LaTeX Font Info: Redeclaring math symbol \complement on input line 311. +LaTeX Font Info: Redeclaring math symbol \intercal on input line 312. +LaTeX Font Info: Redeclaring math symbol \circledcirc on input line 313. +LaTeX Font Info: Redeclaring math symbol \circledast on input line 314. +LaTeX Font Info: Redeclaring math symbol \circleddash on input line 315. +) +(/usr/share/texmf-dist/tex/latex/base/ifthen.sty +Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) +) +LaTeX Font Info: Overwriting symbol font `operators' in version `normal' +(Font) OT1/cmr/m/n --> OT1/zavm/m/n on input line 71. +LaTeX Font Info: Overwriting symbol font `letters' in version `normal' +(Font) OML/cmm/m/it --> OML/zavm/m/it on input line 72. +LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' +(Font) OMS/cmsy/m/n --> OMS/zavm/m/n on input line 73. +LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' +(Font) OMX/cmex/m/n --> OMX/mdbch/m/n on input line 74. +LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' +(Font) OT1/cmr/bx/n --> OT1/zavm/b/n on input line 81. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' +(Font) OT1/cmtt/m/n --> T1/fvm/m/n on input line 82. +LaTeX Font Info: Redeclaring math alphabet \mathcal on input line 85. +LaTeX Font Info: Redeclaring math alphabet \mathit on input line 89. +LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 91. +LaTeX Font Info: Redeclaring math alphabet \mathbb on input line 105. +LaTeX Font Info: Overwriting symbol font `operators' in version `bold' +(Font) OT1/cmr/bx/n --> OT1/zavm/b/n on input line 112. +LaTeX Font Info: Overwriting symbol font `letters' in version `bold' +(Font) OML/cmm/b/it --> OML/zavm/b/it on input line 113. +LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' +(Font) OMS/cmsy/b/n --> OMS/zavm/b/n on input line 114. +LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' +(Font) OMX/cmex/m/n --> OMX/mdbch/b/n on input line 115. +LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' +(Font) OT1/cmr/bx/n --> OT1/zavm/b/n on input line 118. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' +(Font) OT1/cmtt/m/n --> T1/fvm/b/n on input line 119. +LaTeX Font Info: Redeclaring math accent \widetilde on input line 123. +LaTeX Font Info: Redeclaring math accent \widehat on input line 124. +\symextraup=\mathgroup7 +\symextraitalic=\mathgroup8 + +(/usr/share/texmf-dist/tex/latex/arev/arevsymbols.tex +LaTeX Font Info: Redeclaring math symbol \hbar on input line 22. +LaTeX Font Info: Redeclaring math symbol \hslash on input line 23. +LaTeX Font Info: Redeclaring math symbol \digamma on input line 25. +LaTeX Font Info: Redeclaring math symbol \varkappa on input line 26. +LaTeX Font Info: Redeclaring math symbol \backepsilon on input line 35. +LaTeX Font Info: Redeclaring math symbol \emptyset on input line 37. +LaTeX Font Info: Redeclaring math symbol \eth on input line 57. +LaTeX Font Info: Redeclaring math symbol \mho on input line 58. +) +LaTeX Font Info: Redeclaring math symbol \varGamma on input line 181. +LaTeX Font Info: Redeclaring math symbol \varXi on input line 182. +LaTeX Font Info: Redeclaring math symbol \varPi on input line 183. +LaTeX Font Info: Redeclaring math symbol \varSigma on input line 184. +LaTeX Font Info: Redeclaring math symbol \varPhi on input line 185. +LaTeX Font Info: Redeclaring math symbol \varnothing on input line 204. +) +(/usr/share/texmf-dist/tex/latex/bera/beramono.sty +Package: beramono 2004/01/31 (WaS) +)) +(/usr/share/texmf-dist/tex/latex/base/t1enc.sty +Package: t1enc 1994/06/01 Standard LaTeX package +) +(/usr/share/texmf-dist/tex/latex/ltxmisc/ulem.sty +\UL@box=\box52 +\UL@hyphenbox=\box53 +\UL@skip=\skip55 +\UL@hook=\toks43 +\UL@pe=\count152 +\UL@pixel=\dimen179 +\ULC@box=\box54 +Package: ulem 2000/05/26 +\ULdepth=\dimen180 +) +\@input{fu-beamer-template.aux} +\openout2 = `fu-beamer-template.aux'. + +(/mnt/space/STUDIUM/6.semester/swp/praesentation/fu-beamer-template.tex +(/usr/share/texmf-dist/tex/latex/doublestroke/dsfont.sty +Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts +) +(/usr/share/texmf-dist/tex/latex/listings/listings.sty +\lst@mode=\count153 +\lst@gtempboxa=\box55 +\lst@token=\toks44 +\lst@length=\count154 +\lst@currlwidth=\dimen181 +\lst@column=\count155 +\lst@pos=\count156 +\lst@lostspace=\dimen182 +\lst@width=\dimen183 +\lst@newlines=\count157 +\lst@lineno=\count158 +\lst@maxwidth=\dimen184 + +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) +\c@lstnumber=\count159 +\lst@skipnumbers=\count160 +\lst@framebox=\box56 +) +(/usr/share/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) + +(/usr/share/texmf-site/tex/latex/beamer/themes/color/beamercolorthemelily.sty +Package: beamercolorthemelily 2007/01/28 (rcs-revision 1.4) +) +(/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty +File: lstlang1.sty 2004/09/05 1.3 listings language file +)) +(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.aux) +\openout1 = `main.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 32. +LaTeX Font Info: Try loading font information for TS1+cmr on input line 32. + +(/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd +File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions +) +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for MDA/cmr/m/n on input line 32. +LaTeX Font Info: Try loading font information for MDA+cmr on input line 32. + +(/usr/share/texmf-dist/tex/latex/mathdesign/mdacmr.fd +File: mdacmr.fd +) +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Try loading font information for T1+fav on input line 32. + +(/usr/share/texmf-dist/tex/latex/arev/t1fav.fd +File: t1fav.fd 2006/05/30 Fontinst v1.929 font definitions for T1/fav. +) +-------------------- Geometry parameters +paper: user defined +landscape: -- +twocolumn: -- +twoside: -- +asymmetric: -- +h-parts: 21.33955pt, 332.89735pt, 9.95845pt +v-parts: 0.0pt, 273.14662pt, 0.0pt +hmarginratio: -- +vmarginratio: -- +lines: -- +heightrounded: -- +bindingoffset: 0.0pt +truedimen: -- +includehead: true +includefoot: true +includemp: -- +driver: pdftex +-------------------- Page layout dimensions and switches +\paperwidth 364.19536pt +\paperheight 273.14662pt +\textwidth 332.89735pt +\textheight 244.6939pt +\oddsidemargin -50.93044pt +\evensidemargin -50.93044pt +\topmargin -72.26999pt +\headheight 14.22636pt +\headsep 0.0pt +\footskip 14.22636pt +\marginparwidth 4.0pt +\marginparsep 10.0pt +\columnsep 10.0pt +\skip\footins 8.0pt plus 4.0pt minus 2.0pt +\hoffset 0.0pt +\voffset 0.0pt +\mag 1000 + +(1in=72.27pt, 1cm=28.45pt) +----------------------- +Package hyperref Info: Link coloring OFF on input line 32. + +(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty +Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section + +(/usr/share/texmf-dist/tex/latex/oberdiek/refcount.sty +Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) +) +\c@section@level=\count161 +) +LaTeX Info: Redefining \ref on input line 32. +LaTeX Info: Redefining \pageref on input line 32. + +(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.out) +(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.out) +\@outlinefile=\write4 +\openout4 = `main.out'. + +\AtBeginShipoutBox=\box57 +LaTeX Font Info: Overwriting symbol font `operators' in version `normal' +(Font) OT1/zavm/m/n --> OT1/cmss/m/n on input line 32. +LaTeX Font Info: Overwriting symbol font `operators' in version `bold' +(Font) OT1/zavm/b/n --> OT1/cmss/bx/n on input line 32. +\symnumbers=\mathgroup9 +\sympureletters=\mathgroup10 +LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' +(Font) OT1/cmss/m/n --> T1/fav/m/n on input line 32. +LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' +(Font) OT1/zavm/b/n --> T1/fav/bx/n on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' +(Font) OT1/zavm/b/n --> T1/fav/bx/n on input line 32. +LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 32. +LaTeX Font Info: Redeclaring math alphabet \mathit on input line 32. +LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' +(Font) T1/fvm/m/n --> T1/fvm/m/n on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' +(Font) T1/fvm/b/n --> T1/fvm/m/n on input line 32. +LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' +(Font) T1/fav/m/n --> T1/fav/bx/n on input line 32. +LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' +(Font) T1/fav/m/it --> T1/fav/bx/it on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' +(Font) OT1/cmss/bx/n --> T1/fav/bx/n on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' +(Font) T1/fav/bx/n --> T1/fav/bx/n on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' +(Font) T1/fav/m/n --> T1/fav/bx/n on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' +(Font) T1/fav/m/it --> T1/fav/bx/it on input line 32. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' +(Font) T1/fvm/m/n --> T1/fvm/bx/n on input line 32. + +(/usr/share/texmf-site/tex/latex/translator/translator-theorem-dictionary/trans +lator-theorem-dictionary-English.dict +Dictionary: translator-theorem-dictionary, Language: English +) +(/usr/share/texmf-dist/tex/latex/ucs/ucsencs.def +File: ucsencs.def 2003/11/29 Fixes to fontencodings LGR, T3 +) +\c@lstlisting=\count162 + +(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.nav) +Overfull \hbox (1.58499pt too wide) in paragraph at lines 32--32 +[][]\T1/fav/m/n/5 , + [] + +LaTeX Font Info: Try loading font information for OML+zavm on input line 36. + +(/usr/share/texmf-dist/tex/latex/arev/omlzavm.fd +File: omlzavm.fd 2006/05/30 Fontinst v1.929 font definitions for OML/zavm. +) +LaTeX Font Info: Try loading font information for OMS+zavm on input line 36. + + +(/usr/share/texmf-dist/tex/latex/arev/omszavm.fd +File: omszavm.fd 2006/05/30 Fontinst v1.929 font definitions for OMS/zavm. +) +LaTeX Font Info: Try loading font information for OMX+mdbch on input line 36 +. + +(/usr/share/texmf-dist/tex/latex/mathdesign/mdbch/omxmdbch.fd +File: omxmdbch.fd 2006/01/28 Fontinst v1.928 font definitions for OMX/mdbch. +) +LaTeX Font Info: Font shape `OMX/mdbch/m/n' will be +(Font) scaled to size 8.64006pt on input line 36. +LaTeX Font Info: Font shape `OMX/mdbch/m/n' will be +(Font) scaled to size 6.72005pt on input line 36. +LaTeX Font Info: Font shape `OMX/mdbch/m/n' will be +(Font) scaled to size 4.80003pt on input line 36. +LaTeX Font Info: Try loading font information for U+msa on input line 36. + +(/usr/share/texmf-dist/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 36. + +(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2002/01/19 v2.2g AMS font definitions +) +LaTeX Font Info: Try loading font information for MDA+mdbch on input line 36 +. + +(/usr/share/texmf-dist/tex/latex/mathdesign/mdbch/mdamdbch.fd +File: mdamdbch.fd 2006/01/28 Fontinst v1.928 font definitions for MDA/mdbch. +) +LaTeX Font Info: Font shape `MDA/mdbch/b/n' will be +(Font) scaled to size 8.64006pt on input line 36. +LaTeX Font Info: Font shape `MDA/mdbch/b/n' will be +(Font) scaled to size 6.72005pt on input line 36. +LaTeX Font Info: Font shape `MDA/mdbch/b/n' will be +(Font) scaled to size 4.80003pt on input line 36. +LaTeX Font Info: Try loading font information for U+zavm on input line 36. + +(/usr/share/texmf-dist/tex/latex/arev/uzavm.fd +File: uzavm.fd 2006/05/30 Fontinst v1.929 font definitions for U/zavm. +) +Underfull \hbox (badness 10000) in paragraph at lines 36--36 + + [] + +(/usr/share/texmf-dist/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} </mnt/space/STUDIUM/6.seme +ster/swp/praesentation/Logo_RGB.jpg> </mnt/space/STUDIUM/6.semester/swp/praesen +tation/fu_500.jpg>] +LaTeX Font Info: Font shape `OMX/mdbch/m/n' will be +(Font) scaled to size 5.76004pt on input line 48. +LaTeX Font Info: Font shape `MDA/mdbch/b/n' will be +(Font) scaled to size 5.76004pt on input line 48. + +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[2 + + </mnt/space/STUDIUM/6.semester/swp/praesentation/Logo_RGB.jpg>] +\openout3 = `main.vrb'. + + +(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.vrb +LaTeX Font Info: Try loading font information for T1+fvm on input line 1. + +(/usr/share/texmf-dist/tex/latex/bera/t1fvm.fd +File: t1fvm.fd 2004/09/07 scalable font definitions for T1/fvm. +)) +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[3 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[4 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[5 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[6 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[7 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[8 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[9 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[10 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[11 + +] +Overfull \hbox (1.58499pt too wide) has occurred while \output is active +[][]\T1/fav/m/n/5 , + [] + +[12 + +] +\tf@nav=\write5 +\openout5 = `main.nav'. + +\tf@toc=\write6 +\openout6 = `main.toc'. + +\tf@snm=\write7 +\openout7 = `main.snm'. + + (/mnt/space/STUDIUM/6.semester/swp/praesentation/main.aux) ) +Here is how much of TeX's memory you used: + 15542 strings out of 495029 + 262768 string characters out of 1181521 + 364452 words of memory out of 3000000 + 18251 multiletter control sequences out of 10000+50000 + 52851 words of font info for 76 fonts, out of 3000000 for 5000 + 28 hyphenation exceptions out of 8191 + 44i,16n,54p,352b,683s stack positions out of 5000i,500n,10000p,200000b,50000s +{/usr/share/texmf- +dist/fonts/enc/dvips/base/8r.enc}</usr/share/texmf-dist/fonts/type1/public/arev +/ArevSans-Roman.pfb></usr/share/texmf-dist/fonts/type1/public/bera/fvmr8a.pfb>< +/usr/share/texmf-dist/fonts/type1/mathdesign/mdbch/md-chb7y.pfb></usr/share/tex +mf-dist/fonts/type1/mathdesign/mdbch/md-chbma.pfb> +Output written on main.pdf (12 pages, 1153991 bytes). +PDF statistics: + 375 PDF objects out of 1000 (max. 8388607) + 24 named destinations out of 1000 (max. 131072) + 64 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/doc/praes2/main.nav b/doc/praes2/main.nav new file mode 100644 index 0000000..6006e3c --- /dev/null +++ b/doc/praes2/main.nav @@ -0,0 +1,30 @@ +\beamer@endinputifotherversion {3.07pt} +\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}} +\headcommand {\beamer@framepages {1}{1}} +\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}} +\headcommand {\beamer@framepages {2}{2}} +\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}} +\headcommand {\beamer@framepages {3}{3}} +\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}} +\headcommand {\beamer@framepages {4}{4}} +\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}} +\headcommand {\beamer@framepages {5}{5}} +\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}} +\headcommand {\beamer@framepages {6}{6}} +\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}} +\headcommand {\beamer@framepages {7}{7}} +\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}} +\headcommand {\beamer@framepages {8}{8}} +\headcommand {\slideentry {0}{0}{9}{9/9}{}{0}} +\headcommand {\beamer@framepages {9}{9}} +\headcommand {\slideentry {0}{0}{10}{10/10}{}{0}} +\headcommand {\beamer@framepages {10}{10}} +\headcommand {\slideentry {0}{0}{11}{11/11}{}{0}} +\headcommand {\beamer@framepages {11}{11}} +\headcommand {\slideentry {0}{0}{12}{12/12}{}{0}} +\headcommand {\beamer@framepages {12}{12}} +\headcommand {\beamer@partpages {1}{12}} +\headcommand {\beamer@subsectionpages {1}{12}} +\headcommand {\beamer@sectionpages {1}{12}} +\headcommand {\beamer@documentpages {12}} +\headcommand {\def \inserttotalframenumber {12}} diff --git a/doc/praes2/main.out b/doc/praes2/main.out new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/doc/praes2/main.out diff --git a/doc/praes2/main.pdf b/doc/praes2/main.pdf Binary files differnew file mode 100644 index 0000000..29d310b --- /dev/null +++ b/doc/praes2/main.pdf diff --git a/doc/praes2/main.snm b/doc/praes2/main.snm new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/doc/praes2/main.snm diff --git a/doc/praes2/main.tex b/doc/praes2/main.tex new file mode 100644 index 0000000..e72e628 --- /dev/null +++ b/doc/praes2/main.tex @@ -0,0 +1,190 @@ +\documentclass[9pt]{beamer} + +\usepackage[utf8x]{inputenc} +\usepackage[english]{babel} +\usepackage{arev,t1enc} +\usepackage{ulem} + +\include{fu-beamer-template} + + +\titleimage{fu_500} +\title[Compilerbau] +{Abschlusspr\"{a}sentation} + +\author{B.~B\"{o}hm \and A.~N\"{u}\ss{}lein \and M.~Popov \and T.~Rakowski \and J.~Rekittke \and A.~Sulfrian} + +\institute[FU Berlin] +{Freie Universität Berlin} + +\date[7~Jun,~2009] +{Softwareprojekt Compilerbau, SoSe 2009} + +\renewcommand{\footlinetext}{\insertshortinstitute, \insertshorttitle, \insertshortdate} +%\AtBeginSubsection[] +%{ +% \begin{frame}<beamer>{Outline} +% \tableofcontents[currentsection,currentsubsection] +% \end{frame} +%} + + +\begin{document} + +\begin{frame}[plain] + \titlepage +\end{frame} + + +\begin{frame}{Gruppe: Quellsprache} + \begin{itemize} + \item\color{fu-green} erfinden der Quellsprache + \begin{itemize} + \item\color{fu-green} Paradigma: imperativ, prozedural + \item\color{fu-red} \sout{Typsystem: static, weak, infered} + \end{itemize} + \item\color{fu-green} erstellen der EBNF + \end{itemize} +\end{frame} + +\begin{frame}[fragile]{Gruppe: Quellsprache (Beispiel)} + \begin{verbatim} +fun fib[a] + if a < 2 + @1 + end + @(call fib[a-1] + call fib[a-2]) +end + +fun main[] + sum = 0 + i = 1 + while i <= 10 + sum = sum + call fib[i] + i = i + 1 + end + @sum +end + \end{verbatim} +\end{frame} + +\begin{frame}{Gruppe: Schnittstellen} + \begin{itemize} + \item Lexer $\Rightarrow$ Parser: + \begin{itemize}\item\color{fu-green} Tokenstream\end{itemize} + \item Parser $\Rightarrow$ Zwischencode: + \begin{itemize}\item\color{fu-green} AST\end{itemize} + \item Zwischencode $\Rightarrow$ Codegenerator: + \begin{itemize}\item\color{fu-green} 3AC\end{itemize} + \item Codegenerator $\Rightarrow$ Assemblercode: + \begin{itemize}\item\color{fu-green} vereinfachte MIPS ISA\end{itemize} + \end{itemize} +\end{frame} + +\begin{frame}{Alex: Lexikalische Analyse} + \begin{itemize} + \item Tokens: + \begin{itemize} + \item\color{fu-green} NUMBER, BOOL, IDENT + \item\color{fu-green} ASSIGNMENT + \item\color{fu-green} OPERATOR + \item\color{fu-green} FUN, RETURN + \item\color{fu-green} WHILE, IF, ELSE + \item\color{fu-green} LBRAK, RBRAK, LPAREN, RPAREN, NEWLINE, COMMA, END + \end{itemize} + \item\color{fu-green} \"{U}bersetzungsregeln mit Regul\"{a}ren Ausdr\"{u}cken + \end{itemize} +\end{frame} + +\begin{frame}{Alex: Typsystem} + \begin{itemize} + \item\color{fu-red} \sout{Typinferenz bei Initialisierung von Variablen} + \item\color{fu-red} \sout{Statische Typzuweisung in der Symboltabelle} + \item\color{fu-red} \sout{ggf. automatische Typkonvertierung} + \end{itemize} +\end{frame} + +\begin{frame}{Michael: Syntaxanalyse/Parser} + \begin{itemize} + \item Top-Down-Parsing + \item Ableitungsbaum: + \begin{itemize} + \item\color{fu-green} Program(Node) + \item\color{fu-green} Function(Node) + \item\color{fu-green} Statement(Node) + \item\color{fu-green} Sequence(Statement) + \item\color{fu-green} IfStatement(Statement) + \item\color{fu-green} WhileStatement(Statement) + \item\color{fu-green} ReturnStatement(Statement) + \item\color{fu-green} AssignStatement(Statement) + \item\color{fu-green} FunctionCall(Statement,Expression) + \item\color{fu-green} Operation(Node) + \item\color{fu-green} Expression(Operation) + \item\color{fu-green} UnaryExpression(Expression) + \item\color{fu-green} BinaryExpression(Expression) + \item\color{fu-green} Variable(Expression) + \item\color{fu-green} Constant(Expression) + \end{itemize} + \end{itemize} + +\end{frame} + +\begin{frame}{Michael: Semantische Analyse} + \begin{itemize} + \item\color{fu-green} Aufbau der Symboltabelle + \item\color{fu-green} G\"{u}ltigkeitsbereiche der Bezeichner \"{u}berpr\"{u}fen + \item\color{fu-green} eindeutige Zuweisungen von Bezeichnern + \end{itemize} +\end{frame} + +\begin{frame}{Andreas: Zwischencode} + \begin{itemize} + \item Drei-Adress-Code (SSA Form): + \begin{itemize} + \item\color{fu-green} Bin\"{a}re Operationen: ADD, SUB, MUL, DIV, MOD, AND, OR + \item\color{fu-green} Un\"{a}re Operationen: NOT, MINUS + \item\color{fu-green} Zuweisungen: ASSIGN + \item\color{fu-green} Vergleiche: EQ, NE, LE, LT, GE, GT + \item\color{fu-green} Bedingte Spr\"{u}nge: BEZ + \item\color{fu-green} Nichtbedingte Spr\"{u}nge: JMP + \item\color{fu-green} Funktionsaufrufe: PARAM, CALL, RETURN + \end{itemize} + \end{itemize} +\end{frame} + +\begin{frame}{Andreas: Maschinenunabh\"{a}ngige Optimierung} + \begin{itemize} + \item\color{fu-red} \sout{Eliminierung gemeinsamer Teilausdr\"{u}cke} + \item\color{fu-red} \sout{Kopiepropagation} + \item\color{fu-red} \sout{Entfernen von totem Code} + \item\color{fu-red} \sout{Konstantenfaltung} + \end{itemize} +\end{frame} + +\begin{frame}{Jana: Codegenerator} + \begin{itemize} + \item\color{orange} Zuweisung von Adressen/Registervergabe + \item\color{fu-green} Zerlegen von Drei-Adress-Code in Grundbl\"{o}cke + \item\color{fu-green} Befehlsauswahl + \item\color{fu-green} Aufrufkonventionen + \item\color{fu-green} Ausgabe als Assemblercode + \end{itemize} +\end{frame} + +\begin{frame}{Jana/Bene: RISC Emulator} + \begin{itemize} + \item Erfundene RISC ISA: + \begin{itemize} + \item\color{fu-green} Arithmetik: ADD, SUB, MUL, DIV, MOD + \item\color{fu-green} Logik: AND, OR + \item\color{fu-green} Load \& Store: MOV, LW, SW, PUSH, POP + \item\color{fu-green} Vergleiche: CMP, EQ, NE, LE, LT, GE, GT + \item\color{fu-green} Spr\"{u}nge: BEZ, JMP, CALL, RET + \item\color{fu-green} Andere: SYS + \end{itemize} + \item keine Memory-Management-Unit + \item\color{fu-green} I/O durch Nachbildung von System-Calls + \end{itemize} +\end{frame} + +\end{document} diff --git a/doc/praes2/main.toc b/doc/praes2/main.toc new file mode 100644 index 0000000..8c353fc --- /dev/null +++ b/doc/praes2/main.toc @@ -0,0 +1,2 @@ +\beamer@endinputifotherversion {3.07pt} +\select@language {english} diff --git a/doc/praes2/main.vrb b/doc/praes2/main.vrb new file mode 100644 index 0000000..fc60849 --- /dev/null +++ b/doc/praes2/main.vrb @@ -0,0 +1,18 @@ +\frametitle {Gruppe: Quellsprache (Beispiel)}\begin {verbatim} +fun fib[a] + if a < 2 + @1 + end + @(call fib[a-1] + call fib[a-2]) +end + +fun main[] + sum = 0 + i = 1 + while i <= 10 + sum = sum + call fib[i] + i = i + 1 + end + @sum +end +\end{verbatim} |
