Added a few bibliographic entries.

[helm.git] / helm / papers / matita / libraries.dot

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
index c16802a967ec050f57c5c20ed2887454d9a51c51..c4aedef5016255ecac5b6f1f691d45f3e127e78c 100644 (file)
--- 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";
@@ -51,7 +49,7 @@ digraph G {
     hgdome;
     hmysql;
     registry;
-    utf8_macros;
+//     utf8_macros;
     xml;
   }
   /* libs */
@@ -66,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;
@@ -84,21 +82,22 @@ digraph G {
   /* apps */
   subgraph applications {
     node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DrawGraph;
+    DependencyAnalyzer [label="Dependency\nAnalyzer"];
     Getter;
     Matita;
-    ProofChecker;
+    ProofChecker [label="Proof\nChecker"];
     Uwobo;
     Whelp;
   }
   /* apps dep */
-  DrawGraph -> getter;
+  DependencyAnalyzer -> 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;
+  Whelp -> content_pres;
 }