X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fclusters.dot;h=b7298bce847a307b25416bf543b77589746e0408;hb=72789e6d0eca89aa6629b387da141feac426ba20;hp=7872df2405445a9f21b4c0b4ac77f20afe73ea9a;hpb=9b8a57ace85bca07520ba9434e67051d86e492f6;p=helm.git

diff --git a/helm/ocaml/clusters.dot b/helm/ocaml/clusters.dot
index 7872df240..b7298bce8 100644
--- 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;
   }