reviewer compilation/decompilation part

[helm.git] / helm / ocaml / clusters.dot

diff --git a/helm/ocaml/clusters.dot b/helm/ocaml/clusters.dot
index 7872df2405445a9f21b4c0b4ac77f20afe73ea9a..b7298bce847a307b25416bf543b77589746e0408 100644 (file)
--- a/helm/ocaml/clusters.dot
+++ b/helm/ocaml/clusters.dot
@@ -10,10 +10,10 @@
     style = "filled";
     color = "white"
     acic_content;
-    cic_acic;
     cic_disambiguation;
     content_pres;
-    grafite;
+    grafite_parser;
+    lexicon;
   }
   subgraph cluster_partially {
     label = "Partially specified terms";
@@ -23,7 +23,8 @@
     color = "white"
     cic_unification;
     tactics;
-    paramodulation;
+    grafite;
+    grafite_engine;
   }
   subgraph cluster_fully {
     label = "Fully specified terms";
@@ -37,6 +38,8 @@
     metadata;
     urimanager;
     whelp;
+    library;
+    cic_acic;
   }
   subgraph cluster_utilities {
     label = "Utilities";
@@ -48,6 +51,7 @@
     hgdome;
     hmysql;
     registry;
-//     utf8_macros;
+    utf8_macros;
     xml;
+    logger;
   }