added missing deps

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
index c16802a967ec050f57c5c20ed2887454d9a51c51..18b8abd3a00b858c03a537a30f18db4228388e13 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";
@@ -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;
 }

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 03d3665d834a0c338473f57bb544be3fdcf3f69d..99821b753934b697ceb2b4ec120468bb365d38bc 100644 (file)
--- a/helm/papers/matita/librariesCluster.ps
+++ b/helm/papers/matita/librariesCluster.ps
@@ -3,7 +3,7 @@
 %%For: (zacchiro) Stefano Zacchiroli,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 1332 937
+%%BoundingBox: 35 35 1160 973
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1332 937
+%%PageBoundingBox: 36 36 1160 973
 %%PageOrientation: Portrait
 gsave
-35 35 1297 902 boxprim clip newpath
+35 35 1125 938 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -244,22 +244,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 772 488 moveto
-1201 488 lineto
-1201 856 lineto
-772 856 lineto
+newpath 686 488 moveto
+1115 488 lineto
+1115 856 lineto
+686 856 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 772 488 moveto
-1201 488 lineto
-1201 856 lineto
-772 856 lineto
+newpath 686 488 moveto
+1115 488 lineto
+1115 856 lineto
+686 856 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-780 498 moveto
+694 498 moveto
 (Terms at the content and presentation level)
 [14.64 10.56 7.92 18.72 9.36 6 10.56 6.72 6 6.72 12 10.56 6 10.56 12 12 6.72 10.56 12 6.72 6 10.56 12 12 6 12 7.92 10.56 9.36 10.56 12 6.72 10.56 6.72 6.72 12 12 6 6.72 10.56 12 10.56 6.72]
 xshow
@@ -270,22 +270,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 330 612 moveto
-580 612 lineto
-580 892 lineto
-330 892 lineto
+newpath 198 612 moveto
+448 612 lineto
+448 892 lineto
+198 892 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 330 612 moveto
-580 612 lineto
-580 892 lineto
-330 892 lineto
+newpath 198 612 moveto
+448 612 lineto
+448 892 lineto
+198 892 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-338 866 moveto
+206 866 moveto
 (Partially specified terms)
 [13.44 10.56 7.92 6.72 6.72 10.56 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
 xshow
@@ -296,22 +296,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 232 208 moveto
-606 208 lineto
-606 592 lineto
-232 592 lineto
+newpath 304 208 moveto
+678 208 lineto
+678 592 lineto
+304 592 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 232 208 moveto
-606 208 lineto
-606 592 lineto
-232 592 lineto
+newpath 304 208 moveto
+678 208 lineto
+678 592 lineto
+304 592 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-239 218 moveto
+311 218 moveto
 (Fully specified terms)
 [13.44 12 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
 xshow
@@ -322,22 +322,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 614 16 moveto
-902 16 lineto
-902 400 lineto
-614 400 lineto
+newpath 686 16 moveto
+974 16 lineto
+974 400 lineto
+686 400 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 614 16 moveto
-902 16 lineto
-902 400 lineto
-614 400 lineto
+newpath 686 16 moveto
+974 16 lineto
+974 400 lineto
+686 400 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-816 26 moveto
+888 26 moveto
 (Utilities)
 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
 xshow
@@ -346,10 +346,10 @@ end grestore
 
 %      acic_content
 gsave 10 dict begin
-915 646 75 25 ellipse_path
+804 646 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-854 638 moveto
+743 638 moveto
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
@@ -358,10 +358,10 @@ end grestore
 
 %      cic_acic
 gsave 10 dict begin
-876 558 54 25 ellipse_path
+777 558 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-836 550 moveto
+737 550 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -369,32 +369,32 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 904 621 moveto
-900 612 895 602 891 592 curveto
+newpath 796 621 moveto
+793 612 790 602 788 593 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 894 591 moveto
-887 583 lineto
-888 594 lineto
+newpath 791 592 moveto
+785 583 lineto
+785 594 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 894 591 moveto
-887 583 lineto
-888 594 lineto
+newpath 791 592 moveto
+785 583 lineto
+785 594 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking
 gsave 10 dict begin
-487 454 110 25 ellipse_path
+559 454 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-391 446 moveto
+463 446 moveto
 (cic_proof_checking)
 [10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
 xshow
@@ -402,33 +402,33 @@ end grestore
 end grestore
 
 %      cic_acic -> cic_proof_checking
-newpath 863 533 moveto
-854 517 840 498 821 488 curveto
-803 477 693 468 604 462 curveto
+newpath 752 535 moveto
+734 520 708 500 682 488 curveto
+672 483 661 479 650 475 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 604 459 moveto
-594 461 lineto
-604 465 lineto
+newpath 651 472 moveto
+640 472 lineto
+649 478 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 604 459 moveto
-594 461 lineto
-604 465 lineto
+newpath 651 472 moveto
+640 472 lineto
+649 478 lineto
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
-890 734 109 25 ellipse_path
+804 734 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-795 726 moveto
+709 726 moveto
 (cic_disambiguation)
 [10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12]
 xshow
@@ -436,32 +436,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
-newpath 897 709 moveto
-900 700 903 691 905 682 curveto
+newpath 804 708 moveto
+804 700 804 691 804 682 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 908 683 moveto
-908 672 lineto
-902 681 lineto
+newpath 808 682 moveto
+804 672 lineto
+801 682 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 908 683 moveto
-908 672 lineto
-902 681 lineto
+newpath 808 682 moveto
+804 672 lineto
+801 682 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification
 gsave 10 dict begin
-485 646 86 25 ellipse_path
+353 646 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-413 638 moveto
+281 638 moveto
 (cic_unification)
 [10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
 xshow
@@ -469,32 +469,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
-newpath 810 717 moveto
-738 702 636 679 565 663 curveto
+newpath 720 718 moveto
+638 702 517 678 436 662 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 565 660 moveto
-555 661 lineto
-564 666 lineto
+newpath 436 659 moveto
+426 660 lineto
+435 665 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 565 660 moveto
-555 661 lineto
-564 666 lineto
+newpath 436 659 moveto
+426 660 lineto
+435 665 lineto
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
-336 558 44 25 ellipse_path
+371 558 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-306 550 moveto
+341 550 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -502,34 +502,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> whelp
-newpath 845 711 moveto
-786 682 680 634 584 612 curveto
-535 600 397 620 354 592 curveto
-354 592 353 592 353 591 curveto
+newpath 749 712 moveto
+663 676 498 609 417 577 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 356 589 moveto
-347 583 lineto
-350 593 lineto
+newpath 419 574 moveto
+408 573 lineto
+416 580 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 356 589 moveto
-347 583 lineto
-350 593 lineto
+newpath 419 574 moveto
+408 573 lineto
+416 580 lineto
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
-1095 734 76 25 ellipse_path
+1009 734 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-1033 726 moveto
+947 726 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -537,32 +535,32 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
-newpath 1051 713 moveto
-1026 700 994 685 967 672 curveto
+newpath 962 714 moveto
+931 701 892 684 860 670 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 968 669 moveto
-958 667 lineto
-965 675 lineto
+newpath 862 667 moveto
+851 666 lineto
+859 673 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 968 669 moveto
-958 667 lineto
-965 675 lineto
+newpath 862 667 moveto
+851 666 lineto
+859 673 lineto
 closepath
 stroke
 end grestore
 
 %      utf8_macros
 gsave 10 dict begin
-818 366 75 25 ellipse_path
+890 366 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-757 358 moveto
+829 358 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
@@ -570,33 +568,32 @@ end grestore
 end grestore
 
 %      content_pres -> utf8_macros
-newpath 1082 709 moveto
-1057 662 1000 562 940 488 curveto
-914 454 879 421 854 397 curveto
+newpath 1001 708 moveto
+980 644 925 475 901 401 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 856 394 moveto
-846 390 lineto
-851 399 lineto
+newpath 904 400 moveto
+898 391 lineto
+898 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 856 394 moveto
-846 390 lineto
-851 399 lineto
+newpath 904 400 moveto
+898 391 lineto
+898 402 lineto
 closepath
 stroke
 end grestore
 
 %      grafite
 gsave 10 dict begin
-1095 822 46 25 ellipse_path
+876 822 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-1063 814 moveto
+844 814 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -604,53 +601,54 @@ end grestore
 end grestore
 
 %      grafite -> content_pres
-newpath 1095 796 moveto
-1095 788 1095 779 1095 770 curveto
+newpath 906 802 moveto
+923 791 946 776 966 763 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 1099 770 moveto
-1095 760 lineto
-1092 770 lineto
+newpath 968 766 moveto
+974 757 lineto
+964 760 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1099 770 moveto
-1095 760 lineto
-1092 770 lineto
+newpath 968 766 moveto
+974 757 lineto
+964 760 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification -> cic_proof_checking
-newpath 485 620 moveto
-486 586 486 528 487 490 curveto
+newpath 386 622 moveto
+399 613 413 602 425 592 curveto
+464 558 504 516 530 486 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 491 490 moveto
-487 480 lineto
-484 490 lineto
+newpath 532 489 moveto
+537 479 lineto
+527 484 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 491 490 moveto
-487 480 lineto
-484 490 lineto
+newpath 532 489 moveto
+537 479 lineto
+527 484 lineto
 closepath
 stroke
 end grestore
 
 %      tactics
 gsave 10 dict begin
-482 734 45 25 ellipse_path
+347 734 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-451 726 moveto
+316 726 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -658,54 +656,56 @@ end grestore
 end grestore
 
 %      tactics -> cic_unification
-newpath 483 708 moveto
-483 700 484 691 484 682 curveto
+newpath 349 708 moveto
+350 700 350 691 351 682 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 488 682 moveto
-484 672 lineto
-481 682 lineto
+newpath 355 682 moveto
+351 672 lineto
+348 682 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 488 682 moveto
-484 672 lineto
-481 682 lineto
+newpath 355 682 moveto
+351 672 lineto
+348 682 lineto
 closepath
 stroke
 end grestore
 
 %      tactics -> whelp
-newpath 451 715 moveto
-428 701 399 682 389 672 curveto
-370 648 356 617 347 593 curveto
+newpath 310 719 moveto
+291 708 268 693 257 672 curveto
+245 648 241 633 257 612 curveto
+277 586 298 606 326 592 curveto
+330 590 334 588 337 585 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 350 591 moveto
-343 583 lineto
-343 594 lineto
+newpath 339 588 moveto
+346 580 lineto
+336 582 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 350 591 moveto
-343 583 lineto
-343 594 lineto
+newpath 339 588 moveto
+346 580 lineto
+336 582 lineto
 closepath
 stroke
 end grestore
 
 %      paramodulation
 gsave 10 dict begin
-479 822 90 25 ellipse_path
+347 822 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-403 814 moveto
+271 814 moveto
 (paramodulation)
 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
 xshow
@@ -713,32 +713,32 @@ end grestore
 end grestore
 
 %      paramodulation -> tactics
-newpath 480 796 moveto
-480 788 481 779 481 770 curveto
+newpath 347 796 moveto
+347 788 347 779 347 770 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 485 770 moveto
-481 760 lineto
-478 770 lineto
+newpath 351 770 moveto
+347 760 lineto
+344 770 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 485 770 moveto
-481 760 lineto
-478 770 lineto
+newpath 351 770 moveto
+347 760 lineto
+344 770 lineto
 closepath
 stroke
 end grestore
 
 %      cic
 gsave 10 dict begin
-462 366 28 25 ellipse_path
+466 366 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-448 358 moveto
+452 358 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -747,10 +747,10 @@ end grestore
 
 %      urimanager
 gsave 10 dict begin
-494 278 70 25 ellipse_path
+561 278 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-438 270 moveto
+505 270 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -758,32 +758,32 @@ end grestore
 end grestore
 
 %      cic -> urimanager
-newpath 471 341 moveto
-474 332 478 322 481 312 curveto
+newpath 486 347 moveto
+498 336 514 322 528 309 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 484 314 moveto
-485 303 lineto
-478 311 lineto
+newpath 530 312 moveto
+535 302 lineto
+525 307 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 484 314 moveto
-485 303 lineto
-478 311 lineto
+newpath 530 312 moveto
+535 302 lineto
+525 307 lineto
 closepath
 stroke
 end grestore
 
 %      xml
 gsave 10 dict begin
-675 174 33 25 ellipse_path
+747 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-656 166 moveto
+728 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -791,55 +791,54 @@ end grestore
 end grestore
 
 %      cic -> xml
-newpath 442 347 moveto
-432 336 420 320 414 304 curveto
-401 263 386 240 414 208 curveto
-428 192 560 181 631 177 curveto
+newpath 460 341 moveto
+453 306 447 243 481 208 curveto
+496 192 631 181 703 177 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 631 180 moveto
-641 176 lineto
-631 174 lineto
+newpath 703 180 moveto
+713 176 lineto
+703 174 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 631 180 moveto
-641 176 lineto
-631 174 lineto
+newpath 703 180 moveto
+713 176 lineto
+703 174 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking -> cic
-newpath 480 429 moveto
-477 420 474 410 472 401 curveto
+newpath 533 429 moveto
+521 417 506 404 494 392 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 475 400 moveto
-469 391 lineto
-469 402 lineto
+newpath 496 389 moveto
+486 385 lineto
+491 394 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 475 400 moveto
-469 391 lineto
-469 402 lineto
+newpath 496 389 moveto
+486 385 lineto
+491 394 lineto
 closepath
 stroke
 end grestore
 
 %      getter
 gsave 10 dict begin
-323 366 42 25 ellipse_path
+559 366 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-295 358 moveto
+531 358 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -847,53 +846,53 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> getter
-newpath 443 430 moveto
-418 417 388 400 364 388 curveto
+newpath 559 428 moveto
+559 420 559 411 559 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 365 385 moveto
-355 383 lineto
-362 391 lineto
+newpath 563 402 moveto
+559 392 lineto
+556 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 365 385 moveto
-355 383 lineto
-362 391 lineto
+newpath 563 402 moveto
+559 392 lineto
+556 402 lineto
 closepath
 stroke
 end grestore
 
 %      getter -> urimanager
-newpath 356 349 moveto
-380 336 416 318 444 304 curveto
+newpath 560 340 moveto
+560 332 560 323 560 314 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 446 307 moveto
-453 299 lineto
-443 301 lineto
+newpath 564 314 moveto
+560 304 lineto
+557 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 446 307 moveto
-453 299 lineto
-443 301 lineto
+newpath 564 314 moveto
+560 304 lineto
+557 314 lineto
 closepath
 stroke
 end grestore
 
 %      registry
 gsave 10 dict begin
-675 278 52 25 ellipse_path
+747 278 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-637 270 moveto
+709 270 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -901,34 +900,32 @@ end grestore
 end grestore
 
 %      getter -> registry
-newpath 362 355 moveto
-381 350 404 345 424 340 curveto
-507 321 530 327 610 304 curveto
-615 302 621 300 626 298 curveto
+newpath 593 350 moveto
+623 336 667 316 700 300 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 627 301 moveto
-636 295 lineto
-625 295 lineto
+newpath 701 303 moveto
+709 296 lineto
+698 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 627 301 moveto
-636 295 lineto
-625 295 lineto
+newpath 701 303 moveto
+709 296 lineto
+698 297 lineto
 closepath
 stroke
 end grestore
 
 %      metadata
 gsave 10 dict begin
-299 454 58 25 ellipse_path
+371 454 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-255 446 moveto
+327 446 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -936,53 +933,54 @@ end grestore
 end grestore
 
 %      metadata -> cic
-newpath 336 434 moveto
-364 419 401 399 428 385 curveto
+newpath 396 431 moveto
+409 419 425 404 438 392 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 430 388 moveto
-437 380 lineto
-427 382 lineto
+newpath 441 394 moveto
+446 385 lineto
+436 389 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 430 388 moveto
-437 380 lineto
-427 382 lineto
+newpath 441 394 moveto
+446 385 lineto
+436 389 lineto
 closepath
 stroke
 end grestore
 
 %      metadata -> getter
-newpath 306 429 moveto
-308 420 311 410 313 401 curveto
+newpath 415 437 moveto
+447 424 488 408 504 400 curveto
+510 397 516 394 521 390 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 316 402 moveto
-316 391 lineto
-310 400 lineto
+newpath 523 393 moveto
+530 385 lineto
+520 387 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 316 402 moveto
-316 391 lineto
-310 400 lineto
+newpath 523 393 moveto
+530 385 lineto
+520 387 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql
 gsave 10 dict begin
-673 366 50 25 ellipse_path
+745 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-637 358 moveto
+709 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -990,55 +988,55 @@ end grestore
 end grestore
 
 %      metadata -> hmysql
-newpath 341 436 moveto
-349 433 358 430 367 428 curveto
-473 402 507 432 610 400 curveto
-618 398 625 394 632 391 curveto
+newpath 413 436 moveto
+421 433 430 430 439 428 curveto
+545 402 579 432 682 400 curveto
+690 398 697 394 704 391 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 634 394 moveto
-641 386 lineto
-631 388 lineto
+newpath 706 394 moveto
+713 386 lineto
+703 388 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 634 394 moveto
-641 386 lineto
-631 388 lineto
+newpath 706 394 moveto
+713 386 lineto
+703 388 lineto
 closepath
 stroke
 end grestore
 
 %      whelp -> metadata
-newpath 327 533 moveto
-322 520 316 503 311 488 curveto
+newpath 371 532 moveto
+371 519 371 504 371 490 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 314 487 moveto
-308 479 lineto
-308 490 lineto
+newpath 375 490 moveto
+371 480 lineto
+368 490 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 314 487 moveto
-308 479 lineto
-308 490 lineto
+newpath 375 490 moveto
+371 480 lineto
+368 490 lineto
 closepath
 stroke
 end grestore
 
 %      extlib
 gsave 10 dict begin
-675 86 42 25 ellipse_path
+747 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-647 78 moveto
+719 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1047,10 +1045,10 @@ end grestore
 
 %      hgdome
 gsave 10 dict begin
-801 278 54 25 ellipse_path
+873 278 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-761 270 moveto
+833 270 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1058,86 +1056,86 @@ end grestore
 end grestore
 
 %      hgdome -> xml
-newpath 783 254 moveto
-771 239 754 221 737 208 curveto
-730 202 721 197 713 192 curveto
+newpath 855 254 moveto
+843 239 826 221 809 208 curveto
+802 202 793 197 785 192 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 714 189 moveto
-704 187 lineto
-711 195 lineto
+newpath 786 189 moveto
+776 187 lineto
+783 195 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 714 189 moveto
-704 187 lineto
-711 195 lineto
+newpath 786 189 moveto
+776 187 lineto
+783 195 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql -> registry
-newpath 674 340 moveto
-674 332 674 323 674 314 curveto
+newpath 746 340 moveto
+746 332 746 323 746 314 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 678 314 moveto
-674 304 lineto
-671 314 lineto
+newpath 750 314 moveto
+746 304 lineto
+743 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 678 314 moveto
-674 304 lineto
-671 314 lineto
+newpath 750 314 moveto
+746 304 lineto
+743 314 lineto
 closepath
 stroke
 end grestore
 
 %      registry -> xml
-newpath 675 252 moveto
-675 239 675 224 675 210 curveto
+newpath 747 252 moveto
+747 239 747 224 747 210 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 679 210 moveto
-675 200 lineto
-672 210 lineto
+newpath 751 210 moveto
+747 200 lineto
+744 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 679 210 moveto
-675 200 lineto
-672 210 lineto
+newpath 751 210 moveto
+747 200 lineto
+744 210 lineto
 closepath
 stroke
 end grestore
 
 %      xml -> extlib
-newpath 675 148 moveto
-675 140 675 131 675 122 curveto
+newpath 747 148 moveto
+747 140 747 131 747 122 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 679 122 moveto
-675 112 lineto
-672 122 lineto
+newpath 751 122 moveto
+747 112 lineto
+744 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 679 122 moveto
-675 112 lineto
-672 122 lineto
+newpath 751 122 moveto
+747 112 lineto
+744 122 lineto
 closepath
 stroke
 end grestore
@@ -1147,46 +1145,47 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 128 472 moveto
-0 472 lineto
-0 436 lineto
-128 436 lineto
+newpath 128 576 moveto
+0 576 lineto
+0 540 lineto
+128 540 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 128 472 moveto
-0 472 lineto
-0 436 lineto
-128 436 lineto
+newpath 128 576 moveto
+0 576 lineto
+0 540 lineto
+128 540 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-7 446 moveto
+7 550 moveto
 (DrawGraph)
 [17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12]
 xshow
 end grestore
 end grestore
 
-%      DrawGraph -> getter
-newpath 114 436 moveto
-122 433 130 430 137 428 curveto
-184 411 237 394 275 381 curveto
+%      DrawGraph -> metadata
+newpath 77 540 moveto
+90 523 112 498 137 488 curveto
+173 472 275 488 312 480 curveto
+316 479 319 478 323 477 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 276 384 moveto
-285 378 lineto
-274 378 lineto
+newpath 324 480 moveto
+332 473 lineto
+321 474 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 276 384 moveto
-285 378 lineto
-274 378 lineto
+newpath 324 480 moveto
+332 473 lineto
+321 474 lineto
 closepath
 stroke
 end grestore
@@ -1196,22 +1195,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 222 472 moveto
-146 472 lineto
-146 436 lineto
-222 436 lineto
+newpath 294 472 moveto
+218 472 lineto
+218 436 lineto
+294 436 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 222 472 moveto
-146 472 lineto
-146 436 lineto
-222 436 lineto
+newpath 294 472 moveto
+218 472 lineto
+218 436 lineto
+294 436 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-154 446 moveto
+226 446 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1219,22 +1218,24 @@ end grestore
 end grestore
 
 %      Getter -> getter
-newpath 212 436 moveto
-233 423 262 405 285 390 curveto
+newpath 283 436 moveto
+288 433 294 430 300 428 curveto
+387 397 418 430 504 400 curveto
+511 397 517 394 523 391 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 286 393 moveto
-293 385 lineto
-283 387 lineto
+newpath 525 394 moveto
+532 386 lineto
+522 388 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 286 393 moveto
-293 385 lineto
-283 387 lineto
+newpath 525 394 moveto
+532 386 lineto
+522 388 lineto
 closepath
 stroke
 end grestore
@@ -1244,22 +1245,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 764 840 moveto
-686 840 lineto
-686 804 lineto
-764 804 lineto
+newpath 603 936 moveto
+525 936 lineto
+525 900 lineto
+603 900 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 764 840 moveto
-686 840 lineto
-686 804 lineto
-764 804 lineto
+newpath 603 936 moveto
+525 936 lineto
+525 900 lineto
+603 900 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-693 814 moveto
+532 910 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1267,45 +1268,67 @@ end grestore
 end grestore
 
 %      Matita -> cic_disambiguation
-newpath 754 804 moveto
-759 801 764 798 768 796 curveto
-789 784 813 772 833 762 curveto
+newpath 561 900 moveto
+559 873 558 825 583 796 curveto
+588 790 659 771 719 756 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 835 765 moveto
-842 757 lineto
-832 759 lineto
+newpath 720 759 moveto
+729 753 lineto
+718 753 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 835 765 moveto
-842 757 lineto
-832 759 lineto
+newpath 720 759 moveto
+729 753 lineto
+718 753 lineto
 closepath
 stroke
 end grestore
 
-%      Matita -> tactics
-newpath 694 804 moveto
-689 801 683 798 677 796 curveto
-630 776 574 759 534 748 curveto
+%      Matita -> grafite
+newpath 603 916 moveto
+672 912 810 903 829 892 curveto
+843 883 854 870 861 856 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 535 745 moveto
-524 745 lineto
-533 751 lineto
+newpath 864 857 moveto
+866 847 lineto
+858 854 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 535 745 moveto
-524 745 lineto
-533 751 lineto
+newpath 864 857 moveto
+866 847 lineto
+858 854 lineto
+closepath
+stroke
+end grestore
+
+%      Matita -> paramodulation
+newpath 525 916 moveto
+468 912 369 903 357 892 curveto
+348 883 345 870 344 858 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 348 858 moveto
+344 848 lineto
+341 858 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 348 858 moveto
+344 848 lineto
+341 858 lineto
 closepath
 stroke
 end grestore
@@ -1315,22 +1338,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 764 576 moveto
-614 576 lineto
-614 540 lineto
-764 540 lineto
+newpath 296 576 moveto
+146 576 lineto
+146 540 lineto
+296 540 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 764 576 moveto
-614 576 lineto
-614 540 lineto
-764 540 lineto
+newpath 296 576 moveto
+146 576 lineto
+146 540 lineto
+296 540 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-622 550 moveto
+154 550 moveto
 (ProofChecker)
 [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
@@ -1338,23 +1361,24 @@ end grestore
 end grestore
 
 %      ProofChecker -> cic_proof_checking
-newpath 673 540 moveto
-659 524 635 501 610 488 curveto
-601 483 590 478 580 474 curveto
+newpath 235 540 moveto
+250 523 273 498 300 488 curveto
+329 476 409 484 439 480 curveto
+450 478 461 476 472 474 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 581 471 moveto
-570 471 lineto
-579 477 lineto
+newpath 473 477 moveto
+482 472 lineto
+472 471 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 581 471 moveto
-570 471 lineto
-579 477 lineto
+newpath 473 477 moveto
+482 472 lineto
+472 471 lineto
 closepath
 stroke
 end grestore
@@ -1364,68 +1388,47 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 1295 840 moveto
-1209 840 lineto
-1209 804 lineto
-1295 804 lineto
+newpath 678 840 moveto
+592 840 lineto
+592 804 lineto
+678 804 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 1295 840 moveto
-1209 840 lineto
-1209 804 lineto
-1295 804 lineto
+newpath 678 840 moveto
+592 840 lineto
+592 804 lineto
+678 804 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-1216 814 moveto
+599 814 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
 end grestore
 end grestore
 
-%      Uwobo -> acic_content
-newpath 1246 804 moveto
-1235 778 1214 732 1181 708 curveto
-1111 655 1074 662 999 653 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 999 650 moveto
-989 652 lineto
-999 656 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 999 650 moveto
-989 652 lineto
-999 656 lineto
-closepath
-stroke
-end grestore
-
 %      Uwobo -> content_pres
-newpath 1221 804 moveto
-1216 801 1210 798 1205 796 curveto
-1165 778 1143 791 1113 767 curveto
+newpath 664 804 moveto
+670 801 676 798 682 796 curveto
+785 761 818 783 923 760 curveto
+930 759 936 757 943 755 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 1115 764 moveto
-1105 760 lineto
-1110 769 lineto
+newpath 944 758 moveto
+953 752 lineto
+942 752 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1115 764 moveto
-1105 760 lineto
-1110 769 lineto
+newpath 944 758 moveto
+953 752 lineto
+942 752 lineto
 closepath
 stroke
 end grestore
@@ -1435,22 +1438,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 668 840 moveto
-588 840 lineto
-588 804 lineto
-668 804 lineto
+newpath 536 840 moveto
+456 840 lineto
+456 804 lineto
+536 804 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 668 840 moveto
-588 840 lineto
-588 804 lineto
-668 804 lineto
+newpath 536 840 moveto
+456 840 lineto
+456 804 lineto
+536 804 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-595 814 moveto
+463 814 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1458,46 +1461,23 @@ end grestore
 end grestore
 
 %      Whelp -> cic_disambiguation
-newpath 660 804 moveto
-666 801 671 798 677 796 curveto
-718 779 764 765 803 755 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 804 758 moveto
-813 752 lineto
-802 752 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 804 758 moveto
-813 752 lineto
-802 752 lineto
-closepath
-stroke
-end grestore
-
-%      Whelp -> whelp
-newpath 602 804 moveto
-596 801 590 798 584 796 curveto
-530 776 365 803 326 760 curveto
-286 714 305 637 321 592 curveto
+newpath 530 804 moveto
+536 801 543 798 550 796 curveto
+601 777 660 763 708 752 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 324 594 moveto
-325 583 lineto
-318 591 lineto
+newpath 709 755 moveto
+718 750 lineto
+708 749 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 324 594 moveto
-325 583 lineto
-318 591 lineto
+newpath 709 755 moveto
+718 750 lineto
+708 749 lineto
 closepath
 stroke
 end grestore