removed papers that have been moved to the new "papers" repository

[helm.git] / helm / papers / matita / pics / libraries-clusters.dot

diff --git a/helm/papers/matita/pics/libraries-clusters.dot b/helm/papers/matita/pics/libraries-clusters.dot
deleted file mode 100644 (file)
index 325f2be..0000000
--- a/helm/papers/matita/pics/libraries-clusters.dot
+++ /dev/null
@@ -1,136 +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\n12.1 klocs";
-    labelloc = "b";
-    labeljust = "r";
-    style = "filled";
-    color = "white"
-    acic_content;
-    cic_disambiguation;
-    content_pres;
-    grafite_parser;
-    lexicon;
-  }
-  subgraph cluster_partially {
-    label = "Partially specified terms\n15.1 klocs";
-    labelloc = "t";
-    labeljust = "l";
-    style = "filled";
-    color = "white"
-    cic_unification;
-    tactics;
-    grafite;
-    grafite_engine;
-  }
-  subgraph cluster_fully {
-    label = "Fully specified terms\n18.9 klocs";
-    labelloc = "b";
-    labeljust = "l";
-    style = "filled";
-    color = "white"
-    cic;
-    cic_proof_checking;
-    getter;
-    metadata;
-    urimanager;
-    whelp;
-    library;
-    cic_acic;
-  }
-  subgraph cluster_utilities {
-    label = "Utilities\n2.8 klocs";
-    labelloc = "b";
-    labeljust = "r";
-    style = "filled";
-    color = "white"
-    extlib;
-    hgdome;
-    hmysql;
-    registry;
-    utf8_macros;
-    xml;
-    logger;
-  }
-  /* apps */
-  subgraph applications {
-    node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DependencyAnalyzer [label="Dependency\nAnalyzer\n 0.3 klocs"];
-    Getter [label="Getter\n 0.3 klocs"];
-    Matita [label="Matita\n 6.7 klocs"];
-    ProofChecker [label="Proof Checker\n 0.1 klocs"];
-    Uwobo [label="Uwobo\n 2.1 klocs"];
-    Whelp [label="Whelp\n 0.6 klocs"];
-  }
-  /* apps dep */
-  DependencyAnalyzer -> metadata;
-  Getter -> getter;
-  Matita -> grafite_engine;
-  Matita -> grafite_parser;
-  Matita -> hgdome;
-  ProofChecker -> cic_proof_checking;
-  Uwobo -> content_pres;
-  Whelp -> grafite_parser;
-  xml [label="xml\n0.5 klocs"];
-  whelp [label="whelp\n0.3 klocs"];
-  utf8_macros [label="utf8_macros\n0.2 klocs"];
-  urimanager [label="urimanager\n0.2 klocs"];
-  tactics [label="tactics\n10.0 klocs"];
-  registry [label="registry\n0.6 klocs"];
-  metadata [label="metadata\n1.9 klocs"];
-  logger [label="logger\n0.1 klocs"];
-  library [label="library\n2.1 klocs"];
-  lexicon [label="lexicon\n0.8 klocs"];
-  hmysql [label="hmysql\n0.1 klocs"];
-  hgdome [label="hgdome\n0.2 klocs"];
-  grafite_parser [label="grafite_parser\n1.8 klocs"];
-  grafite [label="grafite\n0.5 klocs"];
-  grafite_engine [label="grafite_engine\n1.2 klocs"];
-  getter [label="getter\n2.0 klocs"];
-  extlib [label="extlib\n1.1 klocs"];
-  content_pres [label="content_pres\n4.5 klocs"];
-  cic_unification [label="cic_unification\n3.4 klocs"];
-  cic_proof_checking [label="cic_proof_checking\n5.8 klocs"];
-  cic [label="cic\n4.2 klocs"];
-  cic_disambiguation [label="cic_disambiguation\n1.4 klocs"];
-  cic_acic [label="cic_acic\n2.4 klocs"];
-  acic_content [label="acic_content\n3.6 klocs"];
-   rankdir = TB ;
-"grafite_parser" -> "grafite";
-"grafite_parser" -> "lexicon";
-"grafite_engine" -> "tactics";
-"grafite_engine" -> "grafite";
-"lexicon" -> "cic_disambiguation";
-"lexicon" -> "content_pres";
-"cic_disambiguation" -> "cic_unification";
-"cic_disambiguation" -> "acic_content";
-"cic_disambiguation" -> "whelp";
-"tactics" -> "whelp";
-"tactics" -> "cic_unification";
-"whelp" -> "metadata";
-"cic_unification" -> "library";
-"library" -> "metadata";
-"library" -> "cic_acic";
-"metadata" -> "cic";
-"metadata" -> "hmysql";
-"grafite" -> "cic";
-"content_pres" -> "utf8_macros";
-"content_pres" -> "acic_content";
-"acic_content" -> "cic_acic";
-"cic_acic" -> "cic_proof_checking";
-"cic_proof_checking" -> "getter";
-"cic_proof_checking" -> "cic";
-"cic" -> "xml";
-"cic" -> "urimanager";
-"getter" -> "registry";
-"getter" -> "urimanager";
-"getter" -> "logger";
-"hmysql" -> "registry";
-"registry" -> "xml";
-"hgdome" -> "xml";
-"xml" -> "extlib";
-}