summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/praes2/Logo_RGB.jpgbin0 -> 443098 bytes
-rw-r--r--doc/praes2/fu-beamer-template.aux24
-rw-r--r--doc/praes2/fu-beamer-template.tex121
-rw-r--r--doc/praes2/fu_500.jpgbin0 -> 167716 bytes
-rw-r--r--doc/praes2/main.aux48
-rw-r--r--doc/praes2/main.log1403
-rw-r--r--doc/praes2/main.nav30
-rw-r--r--doc/praes2/main.out0
-rw-r--r--doc/praes2/main.pdfbin0 -> 1153991 bytes
-rw-r--r--doc/praes2/main.snm0
-rw-r--r--doc/praes2/main.tex190
-rw-r--r--doc/praes2/main.toc2
-rw-r--r--doc/praes2/main.vrb18
13 files changed, 1836 insertions, 0 deletions
diff --git a/doc/praes2/Logo_RGB.jpg b/doc/praes2/Logo_RGB.jpg
new file mode 100644
index 0000000..9678276
--- /dev/null
+++ b/doc/praes2/Logo_RGB.jpg
Binary files differ
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
new file mode 100644
index 0000000..a462897
--- /dev/null
+++ b/doc/praes2/fu_500.jpg
Binary files differ
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
new file mode 100644
index 0000000..29d310b
--- /dev/null
+++ b/doc/praes2/main.pdf
Binary files differ
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}