www

commit d5327265c7842f2eee58ec16ca12bf61db8b2cca
parent c1a6a8f98d9b6a95febe79af7b42d24c9085b5b9
Author: John Charron <rm_rf_windows@yahoo.fr>
Date:   Tue, 30 Nov 2010 04:14:30 +0100

Je fais un commit suite a un message qui m'empeche de faire un pull

Diffstat:
M
rapport.tex
 | 
13
++++++++++---

1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/rapport.tex b/rapport.tex
@@ -461,9 +461,16 @@ Clause insatisfiable : $(x_{1} \vee x_{1}) \wedge (\neg x_{1} \vee \neg x_{1})$ 
 
 \begin{figure}[h!]
   \centering
-  \begin{tikzpicture}[node distance=1.5cm]
-    \node (nx1) {$\lnot x_1$} ;
-    \node[below of=nx1] (x1) {$x_1$} ;
+  \begin{tikzpicture}[
+      node distance=2.5cm,
+      lettre/.style={
+        draw,
+        circle,
+        minimum size=1cm
+      }
+    ]
+    \node[lettre] (nx1) {$\lnot x_1$} ;
+    \node[lettre, below of=nx1] (x1) {$x_1$} ;
     \node[coordinate,xshift=0.1cm] (x1r) at (x1.north) {};
     \node[coordinate,xshift=-0.1cm] (x1l) at (x1.north) {};
     \node[coordinate,xshift=0.1cm] (nx1r) at (nx1.south) {};