X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fclusters.dot;h=3d22c6479a309872f90747649cd44ddf2d009c1d;hb=827e35d6058ebba3a4a4fa6eb3c160f0cd0fd1e8;hp=7872df2405445a9f21b4c0b4ac77f20afe73ea9a;hpb=5b306342bf9befa57abd870527d6bd92b0a5ba50;p=helm.git

diff --git a/helm/ocaml/clusters.dot b/helm/ocaml/clusters.dot
index 7872df240..3d22c6479 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";
@@ -24,6 +24,8 @@
     cic_unification;
     tactics;
     paramodulation;
+    grafite;
+    grafite_engine;
   }
   subgraph cluster_fully {
     label = "Fully specified terms";
@@ -37,6 +39,8 @@
     metadata;
     urimanager;
     whelp;
+    library;
+    cic_acic;
   }
   subgraph cluster_utilities {
     label = "Utilities";
@@ -48,6 +52,7 @@
     hgdome;
     hmysql;
     registry;
-//     utf8_macros;
+    utf8_macros;
     xml;
+    logger;
   }