X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Flibraries.dot;fp=helm%2Fpapers%2Fmatita%2Flibraries.dot;h=18b8abd3a00b858c03a537a30f18db4228388e13;hb=1c550c714e92590060c782824183909ff3eced69;hp=c16802a967ec050f57c5c20ed2887454d9a51c51;hpb=e5d77bcbc81aa4e3f5d2f8d53ce47f029e1618a6;p=helm.git

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
index c16802a96..18b8abd3a 100644
--- a/helm/papers/matita/libraries.dot
+++ b/helm/papers/matita/libraries.dot
@@ -6,7 +6,6 @@ digraph G {
   /* libs clusters */
   subgraph cluster_presentation {
     label = "Terms at the content and presentation level";
-    rank = min;
     labelloc = "b";
     labeljust = "r";
     style = "filled";
@@ -42,7 +41,6 @@ digraph G {
   }
   subgraph cluster_utilities {
     label = "Utilities";
-    rank = max;
     labelloc = "b";
     labeljust = "r";
     style = "filled";
@@ -92,13 +90,13 @@ digraph G {
     Whelp;
   }
   /* apps dep */
-  DrawGraph -> getter;
+  DrawGraph -> metadata;
   Getter -> getter;
   Matita -> cic_disambiguation;
-  Matita -> tactics;
+  Matita -> grafite;
+//   Matita -> hgdome;
+  Matita -> paramodulation;
   ProofChecker -> cic_proof_checking;
-  Uwobo -> acic_content;
   Uwobo -> content_pres;
   Whelp -> cic_disambiguation;
-  Whelp -> whelp;
 }