summaryrefslogtreecommitdiffstats
path: root/stage/article.tex
diff options
context:
space:
mode:
authorthibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b>2011-09-02 00:18:21 +0000
committerthibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b>2011-09-02 00:18:21 +0000
commitb76313d2fcc4d2a55e848cabb645cf45009b6dbb (patch)
tree39a2c042a91c6f5e89077f7875710bef9ed8115d /stage/article.tex
parenta74999933f55ccdf29a2e3678cf3cb9eab0975c6 (diff)
downloadpacemaker-b76313d2fcc4d2a55e848cabb645cf45009b6dbb.tar.gz
More slides
git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@72 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
Diffstat (limited to 'stage/article.tex')
-rw-r--r--stage/article.tex3
1 files changed, 1 insertions, 2 deletions
diff --git a/stage/article.tex b/stage/article.tex
index cad4431..c6a4053 100644
--- a/stage/article.tex
+++ b/stage/article.tex
@@ -6,7 +6,7 @@
\usepackage{listings}
\lstdefinelanguage{pseudo}
- {morekeywords={if, then, else, end, let, and, for, in, while}}
+ {morekeywords={if, then, else, end, let, and, or, for, in, while}}
\lstset{escapechar=?, mathescape=true, language=pseudo, frame=single,
basicstyle=\small, keywordstyle=\bfseries, captionpos=b}
\renewcommand{\lstlistingname}{Spec.}
@@ -20,7 +20,6 @@ basicstyle=\small, keywordstyle=\bfseries, captionpos=b}
\title{Pacemaker : un protocole de mesure de disponibilité dans les réseaux pair-à-pair}
\author{Encadrant : \\ Fabrice Le Fessant \\ INRIA-Saclay \and Étudiant : \\ Thibaut Horel}
\begin{document}
-
\maketitle
\subsection*{Le contexte général}