From b76313d2fcc4d2a55e848cabb645cf45009b6dbb Mon Sep 17 00:00:00 2001
From: thibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b>
Date: Fri, 2 Sep 2011 00:18:21 +0000
Subject: More slides

git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@72 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
---
 stage/article.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'stage/article.tex')

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}
-- 
cgit v1.2.3-70-g09d2