Improve the graph of dependencies of the Echo server

1 files changed, 9 insertions, 9 deletions

diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org
index 81ae0e9..b9c531e 100644
--- a/site/posts/CoqffiEcho.org
+++ b/site/posts/CoqffiEcho.org
@@ -73,23 +73,23 @@ digraph dependencies {
   node [shape=box];
   subgraph {
     rank=same;
-    FFI [label="(coq.theory FFI)"];
-    ffi [label="(library ffi)"];
+    FFI [label="Socket.v" style="dashed"];
+    ffi [label="socket.mli"];
   }
   subgraph {
-    Echo [label="(coq.theory Echo)"];
+    Echo [label="Echo.v"];
   }
 
   subgraph {
     rank=same;
-    echo_v [label="(coq.extraction echo)"];
-    echo_ml [label="(executable echo)"];
+    echo_v [label="main.v"];
+    echo_ml [label="main.ml" style="dashed"];
   }
 
-  ffi -> FFI [style="dotted" label="generated by coqffi"];
-  echo_ml -> echo_v [dir=back style="dotted" label="generated by Coq"];
-  echo_v -> Echo -> FFI;
-  echo_ml -> ffi;
+  ffi -> FFI [style="dashed" label="coqffi      "];
+  echo_ml -> echo_v [dir=back style="dashed" label="coqc     "];
+  FFI -> Echo -> echo_v;
+  ffi -> echo_ml;
 }
 #+END_SRC