From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 26 Jan 2006 17:07:25 +0000 (+0000)
Subject: removed libraries old dot
X-Git-Tag: make_still_working~7755
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=42a2bac4bd882669570d1dc5d7831b6ed17a5ea7;p=helm.git

removed libraries old dot
---

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
deleted file mode 100644
index c4aedef50..000000000
--- a/helm/papers/matita/libraries.dot
+++ /dev/null
@@ -1,103 +0,0 @@
-digraph G {
-//   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_acic;
-    cic_disambiguation;
-    content_pres;
-    grafite;
-  }
-  subgraph cluster_partially {
-    label = "Partially specified terms";
-    labelloc = "t";
-    labeljust = "l";
-    style = "filled";
-    color = "white"
-    cic_unification;
-    tactics;
-    paramodulation;
-  }
-  subgraph cluster_fully {
-    label = "Fully specified terms";
-    labelloc = "b";
-    labeljust = "l";
-    style = "filled";
-    color = "white"
-    cic;
-    cic_proof_checking;
-    getter;
-    metadata;
-    urimanager;
-    whelp;
-  }
-  subgraph cluster_utilities {
-    label = "Utilities";
-    labelloc = "b";
-    labeljust = "r";
-    style = "filled";
-    color = "white"
-    extlib;
-    hgdome;
-    hmysql;
-    registry;
-//     utf8_macros;
-    xml;
-  }
-  /* libs */
-  paramodulation -> tactics;
-  cic_disambiguation -> cic_unification;
-  cic_disambiguation -> acic_content;
-  cic_disambiguation -> whelp;
-  tactics -> whelp;
-  tactics -> cic_unification;
-  whelp -> metadata;
-  metadata -> cic;
-  metadata -> getter;
-  metadata -> hmysql;
-  grafite -> content_pres;
-//   content_pres -> utf8_macros;
-  content_pres -> acic_content;
-  acic_content -> cic_acic;
-  cic_acic -> cic_proof_checking;
-  cic_unification -> cic_proof_checking;
-  cic_proof_checking -> getter;
-  cic_proof_checking -> cic;
-  cic -> xml;
-  cic -> urimanager;
-  getter -> registry;
-  getter -> urimanager;
-  hmysql -> registry;
-  registry -> xml;
-  hgdome -> xml;
-  xml -> extlib;
-  /* apps */
-  subgraph applications {
-    node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DependencyAnalyzer [label="Dependency\nAnalyzer"];
-    Getter;
-    Matita;
-    ProofChecker [label="Proof\nChecker"];
-    Uwobo;
-    Whelp;
-  }
-  /* apps dep */
-  DependencyAnalyzer -> metadata;
-  Getter -> getter;
-  Matita -> cic_disambiguation;
-  Matita -> grafite;
-  Matita -> hgdome;
-  Matita -> paramodulation;
-  ProofChecker -> cic_proof_checking;
-  Uwobo -> content_pres;
-  Whelp -> cic_disambiguation;
-  Whelp -> content_pres;
-}