X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fclusters.dot;fp=helm%2Focaml%2Fclusters.dot;h=0000000000000000000000000000000000000000;hb=782253ebe87375f52c07899c1501db5a665a457f;hp=b7298bce847a307b25416bf543b77589746e0408;hpb=0c8963a0f3aef05cf4866e8bcd3fdbebddac8b87;p=helm.git

diff --git a/helm/ocaml/clusters.dot b/helm/ocaml/clusters.dot
deleted file mode 100644
index b7298bce8..000000000
--- a/helm/ocaml/clusters.dot
+++ /dev/null
@@ -1,57 +0,0 @@
-//   clusterrank = none;
-  fillcolor = "gray93";
-  fontsize = 24;
-  node [fontsize = 24];
-  /* libs clusters */
-  subgraph cluster_presentation {
-    label = "Terms at the content and presentation level";
-    labelloc = "b";
-    labeljust = "r";
-    style = "filled";
-    color = "white"
-    acic_content;
-    cic_disambiguation;
-    content_pres;
-    grafite_parser;
-    lexicon;
-  }
-  subgraph cluster_partially {
-    label = "Partially specified terms";
-    labelloc = "t";
-    labeljust = "l";
-    style = "filled";
-    color = "white"
-    cic_unification;
-    tactics;
-    grafite;
-    grafite_engine;
-  }
-  subgraph cluster_fully {
-    label = "Fully specified terms";
-    labelloc = "b";
-    labeljust = "l";
-    style = "filled";
-    color = "white"
-    cic;
-    cic_proof_checking;
-    getter;
-    metadata;
-    urimanager;
-    whelp;
-    library;
-    cic_acic;
-  }
-  subgraph cluster_utilities {
-    label = "Utilities";
-    labelloc = "b";
-    labeljust = "r";
-    style = "filled";
-    color = "white"
-    extlib;
-    hgdome;
-    hmysql;
-    registry;
-    utf8_macros;
-    xml;
-    logger;
-  }