X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Flibraries.dot;h=c4aedef5016255ecac5b6f1f691d45f3e127e78c;hb=a8d3be41b60e0720b32750243c1999c5083f4299;hp=78259d77433bdddc32c9f78ed640445906aea3f7;hpb=bfc419549c067ca4c90c2ddd37b17f9b70bd52c0;p=helm.git

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
index 78259d774..c4aedef50 100644
--- a/helm/papers/matita/libraries.dot
+++ b/helm/papers/matita/libraries.dot
@@ -49,7 +49,7 @@ digraph G {
     hgdome;
     hmysql;
     registry;
-    utf8_macros;
+//     utf8_macros;
     xml;
   }
   /* libs */
@@ -64,7 +64,7 @@ digraph G {
   metadata -> getter;
   metadata -> hmysql;
   grafite -> content_pres;
-  content_pres -> utf8_macros;
+//   content_pres -> utf8_macros;
   content_pres -> acic_content;
   acic_content -> cic_acic;
   cic_acic -> cic_proof_checking;
@@ -82,10 +82,10 @@ digraph G {
   /* apps */
   subgraph applications {
     node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DependencyAnalyzer;
+    DependencyAnalyzer [label="Dependency\nAnalyzer"];
     Getter;
     Matita;
-    ProofChecker;
+    ProofChecker [label="Proof\nChecker"];
     Uwobo;
     Whelp;
   }
@@ -94,7 +94,7 @@ digraph G {
   Getter -> getter;
   Matita -> cic_disambiguation;
   Matita -> grafite;
-//   Matita -> hgdome;
+  Matita -> hgdome;
   Matita -> paramodulation;
   ProofChecker -> cic_proof_checking;
   Uwobo -> content_pres;