]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/clusters.dot
Huge reorganization of matita and ocaml.
[helm.git] / helm / ocaml / clusters.dot
index 7872df2405445a9f21b4c0b4ac77f20afe73ea9a..3d22c6479a309872f90747649cd44ddf2d009c1d 100644 (file)
     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;
   }