]> AND Private Git Repository - cours-maths-dis.git/blobdiff - partiels/130311S2/main.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
quelques modifs en arith
[cours-maths-dis.git] / partiels / 130311S2 / main.tex
index 68070334d3c40b1264f57a0c2570da7bbce015ef..7c35414aa4fb130f402d65ac69275a34f94cc033 100644 (file)
@@ -12,7 +12,7 @@
 \usepackage{epsfig}
 \usepackage{calc}
 \usepackage{tabls}
-\usepackage{slashbox}
+%\usepackage{slashbox}
 \usepackage{times}
 \usepackage{multicol}
 \usepackage{tabularx}
@@ -138,7 +138,7 @@ en  logique propositionnelle.
 \item  \og Si le système fonctionne normalement, le noyau est en état de marche.\fg{}
 
 \item \og  Le fait que le système ne soit pas en mode ``multi-user''
-  est une condition suffisante pour être en mode "interruption".\fg{}
+  est une condition suffisante pour être en mode ``interruption'.\fg{}
 \item \og Le système est en mode ``multi-user'' seulement s'il fonctionne normalement.\fg{}
 \item \og  Soit le noyau est en état de marche, soit le système est en mode ``interruption''.\fg{}
 \end{enumerate}