X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/7af566248fdfee14107fa7d432def80dbf51aae9..9c8838c36376cde4dd444cefd90f573cf6175359:/partiels/130311S2/main.tex diff --git a/partiels/130311S2/main.tex b/partiels/130311S2/main.tex index 6807033..7c35414 100644 --- a/partiels/130311S2/main.tex +++ b/partiels/130311S2/main.tex @@ -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}