2014-07-24 16:44:25 +00:00
\documentclass [$if(fontsize)$$fontsize$,$endif$$if(handout)$handout,$endif$$if(beamer)$ignorenonframetext,$endif$] { $ documentclass $ }
2014-09-02 16:22:11 +00:00
\usepackage { tikz}
2014-07-24 16:44:25 +00:00
\usetheme { Darmstadt}
2014-09-02 16:22:11 +00:00
\setbeamercolor { structure} { fg=black, bg=black}
2014-07-24 16:44:25 +00:00
\setbeamercovered { dynamic}
\setbeamercolor * { author in head/foot} { parent=palette tertiary}
\setbeamercolor * { title in head/foot} { parent=palette secondary}
\setbeamercolor * { date in head/foot} { parent=palette primary}
\setbeamercolor * { section in head/foot} { parent=palette tertiary}
\setbeamercolor * { subsection in head/foot} { parent=palette primary}
2014-09-02 16:22:11 +00:00
\pgfdeclareimage [height=\the\paperheight] { backgroundImage} { images/background}
\setbeamertemplate { background} {
\begin { tikzpicture}
\useasboundingbox (0,0) rectangle (\the \paperwidth , \the \paperheight ) ;
\pgftext [at=\pgfpoint{-70pt}{0cm},left,base] { \pgfuseimage { backgroundImage} } ;
\ifnum \thepage >0\relax %
2014-09-03 05:56:15 +00:00
\fill [white, opacity=0.6] (0cm, 0cm) -- (0cm, 1.0\paperwidth ) -- (1.0\paperwidth , 1.0\paperwidth ) -- (1.0\paperwidth , 0cm) ;
2014-09-02 16:22:11 +00:00
\fi
\end { tikzpicture}
}
\setbeamertemplate { blocks} [rounded][shadow=false]
2014-07-24 16:44:25 +00:00
\setbeamertemplate { footline}
{
\leavevmode %
\hbox { %
\begin { beamercolorbox} [wd=.333333\paperwidth ,ht=2.25ex,dp=1ex,center]{ author in head/foot} %
\usebeamerfont { author in head/foot} \insertshortauthor
\end { beamercolorbox} %
\begin { beamercolorbox} [wd=.333333\paperwidth ,ht=2.25ex,dp=1ex,center]{ title in head/foot} %
\usebeamerfont { title in head/foot} \insertshorttitle
\end { beamercolorbox} %
\begin { beamercolorbox} [wd=.333333\paperwidth ,ht=2.25ex,dp=1ex,right]{ date in head/foot} %
\usebeamerfont { date in head/foot} \insertshortdate { } \hspace * { 2em}
\insertframenumber { } / \inserttotalframenumber \hspace * { 2ex}
\end { beamercolorbox} } %
\vskip 0pt%
}
\setbeamertemplate { subsection page}
{
\begin { centering}
\begin { beamercolorbox} [sep=8pt,center,rounded=true]{ part title}
\usebeamerfont { subsection title} \insertsubsection \par
\end { beamercolorbox}
\end { centering}
}
\usepackage { amssymb,amsmath}
\usepackage { ifxetex,ifluatex}
\usepackage { fixltx2e} % provides \textsubscript
\ifxetex
\usepackage { fontspec,xltxtra,xunicode}
\defaultfontfeatures { Mapping=tex-text,Scale=MatchLowercase}
\else
\ifluatex
\usepackage { fontspec}
\defaultfontfeatures { Mapping=tex-text,Scale=MatchLowercase}
\else
\usepackage [utf8] { inputenc}
\fi
\fi
$ if ( natbib ) $
\usepackage { natbib}
\bibliographystyle { plainnat}
$ endif $
$ if ( biblatex ) $
\usepackage { biblatex}
$ if ( biblio - files ) $
\bibliography { $ biblio - files $ }
$ endif $
$ endif $
$ if ( listings ) $
\usepackage { listings}
\definecolor { identifiers} { HTML} { 750C34}
\definecolor { comments} { HTML} { 4b9900}
\definecolor { keywords} { HTML} { 009ede}
\definecolor { numbers} { HTML} { 6b6b6b}
\definecolor { strings} { HTML} { BD0009}
\lstset { %
frame=none,
tabsize=4,
columns=fixed,
basicstyle=\ttfamily \color { black} \small ,
identifierstyle=\color { identifiers} ,
commentstyle=\color { comments} \itshape ,
stringstyle=\color { strings} ,
keywordstyle=\color { keywords} \bfseries ,
numbers=left,
numberstyle=\tiny \color { numbers} ,
numbersep=12pt,
numberblanklines=true,
stepnumber=5,
breaklines=true,
breakatwhitespace=true,
texcl=true,
escapeinside={ (*@} { @*)}
}
%% TIGER
\lstdefinelanguage { tiger} { %
morekeywords=[1]{ int, string, void, object} , % types
morekeywords=[2]{ nil, if, then, else, for, do, to, while, var, type,
function, array, of, let, in, end, import, break, primitive} , % keywords
morekeywords=[3]{ print, print_ int, print_ err, getchar, chr, ord, size,
concat, substring, exit, flush, not, strcmp, streq} , % builtins
morekeywords=[4]{ new, class, method, extends} % object
sensitive=false,
morecomment=[s]{ /*} { */} ,
morestring=[b]",
basicstyle=\small ,
}
\usepackage { etoolbox}
\makeatletter
\@ ifundefined{ XeTeXinterchartokenstate}
{ \pretocmd { \lstlisting } { \NoAutoSpacing } { } { } }
{ \pretocmd { \lstlisting } { \XeTeXinterchartokenstate =0 } { } { } }
\makeatother
$ endif $
$ if ( lhs ) $
\lstnewenvironment { code} { \lstset { language=Haskell,basicstyle=\small \ttfamily } } { }
$ endif $
$ if ( highlighting - macros ) $
$ highlighting - macros $
$ endif $
$ if ( verbatim - in - note ) $
\usepackage { fancyvrb}
$ endif $
$ if ( tables ) $
\usepackage { longtable}
2014-09-02 16:22:11 +00:00
\setmainfont [Ligatures=Common] { LinBiolinum}
2014-07-24 16:44:25 +00:00
% These lines are needed to make table captions work with longtable:
\makeatletter
\def \fnum @table{ \tablename ~\thetable }
\makeatother
$ endif $
$ if ( url ) $
\usepackage { url}
$ endif $
$ if ( graphics ) $
\usepackage { graphicx}
\makeatletter
\def \ScaleIfNeeded { %
\ifdim \Gin @nat@width>\linewidth
\linewidth
\else
\Gin @nat@width
\fi
}
\makeatother
\let \Oldincludegraphics \includegraphics
\renewcommand { \includegraphics } [2][]{ \Oldincludegraphics [width=\ScaleIfNeeded] { #2} }
$ endif $
% Comment these out if you don't want a slide with just the
% part/section/subsection/subsubsection title:
\AtBeginPart {
\let \insertpartnumber \relax
\let \partname \relax
\frame { \partpage }
}
\AtBeginSection {
\let \insertsectionnumber \relax
\let \sectionname \relax
\frame { \tableofcontents [currentsection, hideothersubsections] }
}
\AtBeginSubsection {
\let \insertsubsectionnumber \relax
\let \subsectionname \relax
\frame { \subsectionpage }
}
$ if ( strikeout ) $
\usepackage [normalem] { ulem}
% avoid problems with \sout in headers with hyperref:
\pdfstringdefDisableCommands { \renewcommand { \sout } { } }
$ endif $
\setlength { \parindent } { 0pt}
\setlength { \parskip } { 6pt plus 2pt minus 1pt}
\setlength { \emergencystretch } { 3em} % prevent overfull lines
$ if ( numbersections ) $
$ else $
\setcounter { secnumdepth} { 0}
$ endif $
$ if ( verbatim - in - note ) $
\VerbatimFootnotes % allows verbatim text in footnotes
$ endif $
$ if ( lang ) $
\usepackage [$lang$] { babel}
$ endif $
$ for ( header - includes ) $
$ header - includes $
$ endfor $
$ if ( title ) $
\title { $ title $ }
$ endif $
$ if ( author ) $
2014-09-02 16:22:11 +00:00
\author [$for(author)$$author$$sep$ \and $endfor$] { $ for ( author ) $ $ author $ $ sep $ \and $ endfor $ \newline \scriptsize { sous la direction de M. Jean-Christophe Baillie} }
2014-07-24 16:44:25 +00:00
$ endif $
$ if ( date ) $
\date { $ date $ }
$ endif $
2014-09-02 16:22:11 +00:00
\setbeamertemplate { title page} [default][colsep=-4bp,rounded=true]
\pgfdeclareimage [width=\textwidth] { nq-logo} { images/nq-high}
\institute { \pgfuseimage { nq-logo} }
2014-07-24 16:44:25 +00:00
2014-09-03 05:56:15 +00:00
\logo { \includegraphics [scale=0.25] { images/nq} \includegraphics [scale=0.09] { images/epita} }
2014-07-24 16:44:25 +00:00
\begin { document}
$ if ( title ) $
\frame { \titlepage }
$ endif $
$ for ( include - before ) $
$ include - before $
$ endfor $
$ if ( toc ) $
\begin { frame}
\tableofcontents [hideallsubsections]
\end { frame}
$ endif $
$ body $
$ if ( natbib ) $
$ if ( biblio - files ) $
$ if ( biblio - title ) $
$ if ( book - class ) $
\renewcommand \bibname { $ biblio - title $ }
$ else $
\renewcommand \refname { $ biblio - title $ }
$ endif $
$ endif $
\bibliography { $ biblio - files $ }
$ endif $
$ endif $
$ if ( biblatex ) $
\printbibliography $ if ( biblio - title ) $ [title=$ biblio - title $ ]$ endif $
$ endif $
$ for ( include - after ) $
$ include - after $
$ endfor $
\end { document}