From 4c8825db2147d7953ffbc564d8307cd4eec00d8d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20N=C3=BC=C3=9Flein?= Date: Mon, 6 Jul 2009 22:18:59 +0200 Subject: praesentation -> doc/praes2 --- doc/praes2/Logo_RGB.jpg | Bin 0 -> 443098 bytes doc/praes2/fu-beamer-template.aux | 24 + doc/praes2/fu-beamer-template.tex | 121 +++ doc/praes2/fu_500.jpg | Bin 0 -> 167716 bytes doc/praes2/main.aux | 48 ++ doc/praes2/main.log | 1403 ++++++++++++++++++++++++++++++++++ doc/praes2/main.nav | 30 + doc/praes2/main.out | 0 doc/praes2/main.pdf | Bin 0 -> 1153991 bytes doc/praes2/main.snm | 0 doc/praes2/main.tex | 190 +++++ doc/praes2/main.toc | 2 + doc/praes2/main.vrb | 18 + praesentation/Logo_RGB.jpg | Bin 443098 -> 0 bytes praesentation/fu-beamer-template.aux | 24 - praesentation/fu-beamer-template.tex | 121 --- praesentation/fu_500.jpg | Bin 167716 -> 0 bytes praesentation/main.aux | 48 -- praesentation/main.log | 1403 ---------------------------------- praesentation/main.nav | 30 - praesentation/main.out | 0 praesentation/main.pdf | Bin 1153991 -> 0 bytes praesentation/main.snm | 0 praesentation/main.tex | 190 ----- praesentation/main.toc | 2 - praesentation/main.vrb | 18 - 26 files changed, 1836 insertions(+), 1836 deletions(-) create mode 100644 doc/praes2/Logo_RGB.jpg create mode 100644 doc/praes2/fu-beamer-template.aux create mode 100644 doc/praes2/fu-beamer-template.tex create mode 100644 doc/praes2/fu_500.jpg create mode 100644 doc/praes2/main.aux create mode 100644 doc/praes2/main.log create mode 100644 doc/praes2/main.nav create mode 100644 doc/praes2/main.out create mode 100644 doc/praes2/main.pdf create mode 100644 doc/praes2/main.snm create mode 100644 doc/praes2/main.tex create mode 100644 doc/praes2/main.toc create mode 100644 doc/praes2/main.vrb delete mode 100644 praesentation/Logo_RGB.jpg delete mode 100644 praesentation/fu-beamer-template.aux delete mode 100644 praesentation/fu-beamer-template.tex delete mode 100644 praesentation/fu_500.jpg delete mode 100644 praesentation/main.aux delete mode 100644 praesentation/main.log delete mode 100644 praesentation/main.nav delete mode 100644 praesentation/main.out delete mode 100644 praesentation/main.pdf delete mode 100644 praesentation/main.snm delete mode 100644 praesentation/main.tex delete mode 100644 praesentation/main.toc delete mode 100644 praesentation/main.vrb diff --git a/doc/praes2/Logo_RGB.jpg b/doc/praes2/Logo_RGB.jpg new file mode 100644 index 0000000..9678276 Binary files /dev/null and b/doc/praes2/Logo_RGB.jpg 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, +% 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 Binary files /dev/null and b/doc/praes2/fu_500.jpg 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} ] +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 + + ] +\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/mathdesign/mdbch/md-chb7y.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 diff --git a/doc/praes2/main.pdf b/doc/praes2/main.pdf new file mode 100644 index 0000000..29d310b Binary files /dev/null and b/doc/praes2/main.pdf differ diff --git a/doc/praes2/main.snm b/doc/praes2/main.snm new file mode 100644 index 0000000..e69de29 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}{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} diff --git a/praesentation/Logo_RGB.jpg b/praesentation/Logo_RGB.jpg deleted file mode 100644 index 9678276..0000000 Binary files a/praesentation/Logo_RGB.jpg and /dev/null differ diff --git a/praesentation/fu-beamer-template.aux b/praesentation/fu-beamer-template.aux deleted file mode 100644 index 44a66b9..0000000 --- a/praesentation/fu-beamer-template.aux +++ /dev/null @@ -1,24 +0,0 @@ -\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/praesentation/fu-beamer-template.tex b/praesentation/fu-beamer-template.tex deleted file mode 100644 index f46eecc..0000000 --- a/praesentation/fu-beamer-template.tex +++ /dev/null @@ -1,121 +0,0 @@ -% 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, -% 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/praesentation/fu_500.jpg b/praesentation/fu_500.jpg deleted file mode 100644 index a462897..0000000 Binary files a/praesentation/fu_500.jpg and /dev/null differ diff --git a/praesentation/main.aux b/praesentation/main.aux deleted file mode 100644 index 6a7858b..0000000 --- a/praesentation/main.aux +++ /dev/null @@ -1,48 +0,0 @@ -\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/praesentation/main.log b/praesentation/main.log deleted file mode 100644 index edcdd22..0000000 --- a/praesentation/main.log +++ /dev/null @@ -1,1403 +0,0 @@ -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} ] -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 - - ] -\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/mathdesign/mdbch/md-chb7y.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/praesentation/main.nav b/praesentation/main.nav deleted file mode 100644 index 6006e3c..0000000 --- a/praesentation/main.nav +++ /dev/null @@ -1,30 +0,0 @@ -\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/praesentation/main.out b/praesentation/main.out deleted file mode 100644 index e69de29..0000000 diff --git a/praesentation/main.pdf b/praesentation/main.pdf deleted file mode 100644 index 29d310b..0000000 Binary files a/praesentation/main.pdf and /dev/null differ diff --git a/praesentation/main.snm b/praesentation/main.snm deleted file mode 100644 index e69de29..0000000 diff --git a/praesentation/main.tex b/praesentation/main.tex deleted file mode 100644 index e72e628..0000000 --- a/praesentation/main.tex +++ /dev/null @@ -1,190 +0,0 @@ -\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}{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/praesentation/main.toc b/praesentation/main.toc deleted file mode 100644 index 8c353fc..0000000 --- a/praesentation/main.toc +++ /dev/null @@ -1,2 +0,0 @@ -\beamer@endinputifotherversion {3.07pt} -\select@language {english} diff --git a/praesentation/main.vrb b/praesentation/main.vrb deleted file mode 100644 index fc60849..0000000 --- a/praesentation/main.vrb +++ /dev/null @@ -1,18 +0,0 @@ -\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} -- cgit v1.2.3