summaryrefslogtreecommitdiffstats
path: root/stage/article.tex
diff options
context:
space:
mode:
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}