New version.

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 94b0666878cc431f2a05c84c04632e55f448921f..c3b765e5e914b4c972b8086791b2bdfc56527917 100644 (file)
--- a/helm/papers/matita/librariesCluster.ps
+++ b/helm/papers/matita/librariesCluster.ps
@@ -3,7 +3,7 @@
 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
 %%Title: G
 %%Pages: (atend)
 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
 %%Title: G
 %%Pages: (atend)

-%%BoundingBox: 35 35 1108 1263
+%%BoundingBox: 35 35 1070 1263

 %%EndComments
 save
 %%BeginProlog
 %%EndComments
 save
 %%BeginProlog


@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
 
 %%EndSetup
 %%Page: 1 1

-%%PageBoundingBox: 36 36 1108 1263
+%%PageBoundingBox: 36 36 1070 1263

 %%PageOrientation: Portrait
 gsave
 %%PageOrientation: Portrait
 gsave

-35 35 1073 1228 boxprim clip newpath
+35 35 1035 1228 boxprim clip newpath

 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
 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
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor

-newpath 634 778 moveto
-1063 778 lineto
-1063 1162 lineto
-634 1162 lineto
+newpath 596 778 moveto
+1025 778 lineto
+1025 1162 lineto
+596 1162 lineto

 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor

-newpath 634 778 moveto
-1063 778 lineto
-1063 1162 lineto
-634 1162 lineto
+newpath 596 778 moveto
+1025 778 lineto
+1025 1162 lineto
+596 1162 lineto

 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor

-642 788 moveto
+604 788 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
 (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


@@ -346,10 +346,10 @@ end grestore
 
 %      acic_content
 gsave 10 dict begin
 
 %      acic_content
 gsave 10 dict begin

-752 848 75 25 ellipse_path
+714 848 75 25 ellipse_path

 stroke
 gsave 10 dict begin
 stroke
 gsave 10 dict begin

-691 840 moveto
+653 840 moveto

 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow


@@ -369,36 +369,36 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
 end grestore
 
 %      acic_content -> cic_acic

-newpath 717 825 moveto
-691 809 653 789 617 778 curveto
-592 769 579 786 557 770 curveto
-532 750 552 725 528 704 curveto
-490 668 465 687 416 668 curveto
-410 665 404 663 398 660 curveto
+newpath 681 825 moveto
+658 810 625 790 594 778 curveto
+581 772 574 779 562 770 curveto
+538 749 557 725 533 704 curveto
+493 667 467 688 416 668 curveto
+410 665 403 663 397 660 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 399 657 moveto
-389 655 lineto
-396 663 lineto
+newpath 398 657 moveto
+388 655 lineto
+395 663 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 399 657 moveto
-389 655 lineto
-396 663 lineto
+newpath 398 657 moveto
+388 655 lineto
+395 663 lineto

 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin

-752 936 109 25 ellipse_path
+714 936 109 25 ellipse_path

 stroke
 gsave 10 dict begin
 stroke
 gsave 10 dict begin

-657 928 moveto
+619 928 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
 (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


@@ -406,22 +406,22 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
 end grestore
 
 %      cic_disambiguation -> acic_content

-newpath 752 910 moveto
-752 902 752 893 752 884 curveto
+newpath 714 910 moveto
+714 902 714 893 714 884 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 756 884 moveto
-752 874 lineto
-749 884 lineto
+newpath 718 884 moveto
+714 874 lineto
+711 884 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 756 884 moveto
-752 874 lineto
-749 884 lineto
+newpath 718 884 moveto
+714 874 lineto
+711 884 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -439,32 +439,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
 end grestore
 
 %      cic_disambiguation -> cic_unification

-newpath 672 918 moveto
-604 903 507 881 439 865 curveto
+newpath 639 917 moveto
+579 903 495 882 435 867 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 439 862 moveto
-429 863 lineto
-438 868 lineto
+newpath 435 864 moveto
+425 865 lineto
+434 870 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 439 862 moveto
-429 863 lineto
-438 868 lineto
+newpath 435 864 moveto
+425 865 lineto
+434 870 lineto

 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin

-474 736 44 25 ellipse_path
+479 736 44 25 ellipse_path

 stroke
 gsave 10 dict begin
 stroke
 gsave 10 dict begin

-444 728 moveto
+449 728 moveto

 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow


@@ -472,32 +472,33 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> whelp
 end grestore
 
 %      cic_disambiguation -> whelp

-newpath 718 912 moveto
-666 874 565 801 510 762 curveto
+newpath 679 912 moveto
+664 900 645 887 629 874 curveto
+586 838 538 794 509 765 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 512 759 moveto
-502 756 lineto
-508 765 lineto
+newpath 512 763 moveto
+502 758 lineto
+507 768 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 512 759 moveto
-502 756 lineto
-508 765 lineto
+newpath 512 763 moveto
+502 758 lineto
+507 768 lineto

 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin

-957 936 76 25 ellipse_path
+919 936 76 25 ellipse_path

 stroke
 gsave 10 dict begin
 stroke
 gsave 10 dict begin

-895 928 moveto
+857 928 moveto

 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow


@@ -505,22 +506,22 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
 end grestore
 
 %      content_pres -> acic_content

-newpath 910 916 moveto
-879 903 840 886 808 872 curveto
+newpath 872 916 moveto
+841 903 802 886 770 872 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 810 869 moveto
-799 868 lineto
-807 875 lineto
+newpath 772 869 moveto
+761 868 lineto
+769 875 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 810 869 moveto
-799 868 lineto
-807 875 lineto
+newpath 772 869 moveto
+761 868 lineto
+769 875 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -538,69 +539,69 @@ end grestore
 end grestore
 
 %      content_pres -> utf8_macros
 end grestore
 
 %      content_pres -> utf8_macros

-newpath 949 911 moveto
-937 873 917 799 917 736 curveto
-917 736 917 736 917 542 curveto
-917 492 900 436 888 401 curveto
+newpath 916 910 moveto
+911 872 903 799 903 736 curveto
+903 736 903 736 903 542 curveto
+903 492 891 437 883 402 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 891 399 moveto
-884 391 lineto
-884 402 lineto
+newpath 886 401 moveto
+880 392 lineto
+880 403 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 891 399 moveto
-884 391 lineto
-884 402 lineto
+newpath 886 401 moveto
+880 392 lineto
+880 403 lineto

 closepath
 stroke
 end grestore
 
 %      grafite_parser
 gsave 10 dict begin
 closepath
 stroke
 end grestore
 
 %      grafite_parser
 gsave 10 dict begin

-724 1128 81 25 ellipse_path
+686 1128 81 25 ellipse_path

 stroke
 gsave 10 dict begin
 stroke
 gsave 10 dict begin

-657 1120 moveto
+619 1120 moveto

 (grafite_parser)
 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 12 10.56 7.92 9.36 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 (grafite_parser)
 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 12 10.56 7.92 9.36 10.56 7.92]
 xshow
 end grestore
 end grestore
 

-%      sheath
+%      lexicon

 gsave 10 dict begin
 gsave 10 dict begin

-752 1024 45 25 ellipse_path
+714 1024 50 25 ellipse_path

 stroke
 gsave 10 dict begin
 stroke
 gsave 10 dict begin

-721 1016 moveto
-(sheath)
-[9.36 12 10.56 10.56 6.72 12]
+678 1016 moveto
+(lexicon)
+[6.72 10.56 12 6.72 10.56 12 12]

 xshow
 end grestore
 end grestore
 
 xshow
 end grestore
 end grestore
 

-%      grafite_parser -> sheath
-newpath 731 1103 moveto
-734 1090 739 1074 743 1059 curveto
+%      grafite_parser -> lexicon
+newpath 693 1103 moveto
+696 1090 701 1074 705 1059 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 746 1059 moveto
-745 1049 lineto
-740 1058 lineto
+newpath 708 1059 moveto
+707 1049 lineto
+702 1058 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 746 1059 moveto
-745 1049 lineto
-740 1058 lineto
+newpath 708 1059 moveto
+707 1049 lineto
+702 1058 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -618,10 +619,10 @@ end grestore
 end grestore
 
 %      grafite_parser -> grafite
 end grestore
 
 %      grafite_parser -> grafite

-newpath 670 1108 moveto
-661 1106 651 1103 642 1102 curveto
-625 1098 498 1104 484 1094 curveto
-449 1066 489 1027 455 998 curveto
+newpath 632 1109 moveto
+623 1106 613 1104 604 1102 curveto
+591 1099 495 1102 484 1094 curveto
+450 1066 489 1027 455 998 curveto

 389 938 345 981 258 962 curveto
 243 959 227 955 213 951 curveto
 stroke
 389 938 345 981 258 962 curveto
 243 959 227 955 213 951 curveto
 stroke


@@ -642,44 +643,44 @@ closepath
 stroke
 end grestore
 
 stroke
 end grestore
 

-%      sheath -> cic_disambiguation
-newpath 752 998 moveto
-752 990 752 981 752 972 curveto
+%      lexicon -> cic_disambiguation
+newpath 714 998 moveto
+714 990 714 981 714 972 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 756 972 moveto
-752 962 lineto
-749 972 lineto
+newpath 718 972 moveto
+714 962 lineto
+711 972 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 756 972 moveto
-752 962 lineto
-749 972 lineto
+newpath 718 972 moveto
+714 962 lineto
+711 972 lineto

 closepath
 stroke
 end grestore
 
 closepath
 stroke
 end grestore
 

-%      sheath -> content_pres
-newpath 789 1008 moveto
-820 995 865 976 901 960 curveto
+%      lexicon -> content_pres
+newpath 753 1007 moveto
+784 994 828 976 862 960 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 902 963 moveto
-910 956 lineto
-899 957 lineto
+newpath 864 963 moveto
+872 956 lineto
+861 956 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 902 963 moveto
-910 956 lineto
-899 957 lineto
+newpath 864 963 moveto
+872 956 lineto
+861 956 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -755,21 +756,21 @@ newpath 289 914 moveto
 279 903 268 889 263 874 curveto
 249 833 234 808 263 778 curveto
 275 765 399 774 415 770 curveto
 279 903 268 889 263 874 curveto
 249 833 234 808 263 778 curveto
 275 765 399 774 415 770 curveto

-423 768 430 764 437 761 curveto
+424 768 432 764 440 760 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 439 764 moveto
-446 756 lineto
-436 758 lineto
+newpath 442 763 moveto
+449 755 lineto
+439 757 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 439 764 moveto
-446 756 lineto
-436 758 lineto
+newpath 442 763 moveto
+449 755 lineto
+439 757 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -1191,22 +1192,22 @@ stroke
 end grestore
 
 %      whelp -> metadata
 end grestore
 
 %      whelp -> metadata

-newpath 477 711 moveto
-479 699 480 685 481 672 curveto
+newpath 480 711 moveto
+481 699 482 685 482 672 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 484 672 moveto
-482 662 lineto
-478 672 lineto
+newpath 485 672 moveto
+483 662 lineto
+479 672 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 484 672 moveto
-482 662 lineto
-478 672 lineto
+newpath 485 672 moveto
+483 662 lineto
+479 672 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -1387,26 +1388,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor

-newpath 711 768 moveto
-575 768 lineto
-575 704 lineto
-711 704 lineto
+newpath 716 768 moveto
+580 768 lineto
+580 704 lineto
+716 704 lineto

 closepath
 fill
 0.584 0.220 0.933 nodecolor
 closepath
 fill
 0.584 0.220 0.933 nodecolor

-newpath 711 768 moveto
-575 768 lineto
-575 704 lineto
-711 704 lineto
+newpath 716 768 moveto
+580 768 lineto
+580 704 lineto
+716 704 lineto

 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor

-583 742 moveto
+588 742 moveto

 (Dependency)
 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
 xshow
 (Dependency)
 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
 xshow

-599 714 moveto
+604 714 moveto

 (Analyzer)
 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
 (Analyzer)
 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow


@@ -1414,22 +1415,22 @@ end grestore
 end grestore
 
 %      DependencyAnalyzer -> metadata
 end grestore
 
 %      DependencyAnalyzer -> metadata

-newpath 592 704 moveto
-570 691 546 675 526 662 curveto
+newpath 595 704 moveto
+573 691 547 675 527 662 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 527 659 moveto
-517 657 lineto
-524 665 lineto
+newpath 528 659 moveto
+518 657 lineto
+525 665 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 527 659 moveto
-517 657 lineto
-524 665 lineto
+newpath 528 659 moveto
+518 657 lineto
+525 665 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -1487,119 +1488,75 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor

-newpath 394 1226 moveto
-316 1226 lineto
-316 1190 lineto
-394 1190 lineto
+newpath 200 1226 moveto
+122 1226 lineto
+122 1190 lineto
+200 1190 lineto

 closepath
 fill
 0.584 0.220 0.933 nodecolor
 closepath
 fill
 0.584 0.220 0.933 nodecolor

-newpath 394 1226 moveto
-316 1226 lineto
-316 1190 lineto
-394 1190 lineto
+newpath 200 1226 moveto
+122 1226 lineto
+122 1190 lineto
+200 1190 lineto

 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor

-323 1200 moveto
+129 1200 moveto

 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 

-%      Matita -> cic_disambiguation
-newpath 372 1190 moveto
-393 1167 429 1129 458 1094 curveto
-493 1052 487 1028 531 998 curveto
-565 975 607 961 646 951 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 647 954 moveto
-656 949 lineto
-646 948 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 647 954 moveto
-656 949 lineto
-646 948 lineto
-closepath
-stroke
-end grestore
-

 %      Matita -> grafite_parser
 %      Matita -> grafite_parser

-newpath 394 1205 moveto
-450 1199 556 1186 642 1162 curveto
-651 1160 660 1156 669 1153 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 670 1156 moveto
-678 1149 lineto
-667 1150 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 670 1156 moveto
-678 1149 lineto
-667 1150 lineto
-closepath
-stroke
-end grestore
-
-%      Matita -> paramodulation
-newpath 355 1190 moveto
-355 1160 355 1099 355 1060 curveto
+newpath 200 1205 moveto
+294 1199 529 1181 604 1162 curveto
+613 1160 622 1157 631 1153 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 359 1060 moveto
-355 1050 lineto
-352 1060 lineto
+newpath 632 1156 moveto
+641 1150 lineto
+630 1150 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 359 1060 moveto
-355 1050 lineto
-352 1060 lineto
+newpath 632 1156 moveto
+641 1150 lineto
+630 1150 lineto

 closepath
 stroke
 end grestore
 
 %      Matita -> grafite_engine
 closepath
 stroke
 end grestore
 
 %      Matita -> grafite_engine

-newpath 336 1190 moveto
-303 1158 236 1094 194 1056 curveto
+newpath 161 1190 moveto
+161 1160 161 1099 161 1060 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 197 1054 moveto
-187 1049 lineto
-192 1059 lineto
+newpath 165 1060 moveto
+161 1050 lineto
+158 1060 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 197 1054 moveto
-187 1049 lineto
-192 1059 lineto
+newpath 165 1060 moveto
+161 1050 lineto
+158 1060 lineto

 closepath
 stroke
 end grestore
 
 %      Matita -> hgdome
 closepath
 stroke
 end grestore
 
 %      Matita -> hgdome

-newpath 316 1204 moveto
-253 1196 129 1171 64 1094 curveto
-44 1069 48 1055 48 1024 curveto
+newpath 141 1190 moveto
+118 1169 83 1132 64 1094 curveto
+50 1065 48 1055 48 1024 curveto

 48 1024 48 1024 48 454 curveto
 48 327 166 338 285 296 curveto
 334 278 473 269 557 265 curveto
 48 1024 48 1024 48 454 curveto
 48 327 166 338 285 296 curveto
 334 278 473 269 557 265 curveto


@@ -1679,22 +1636,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor

-newpath 626 1042 moveto
-540 1042 lineto
-540 1006 lineto
-626 1006 lineto
+newpath 588 1042 moveto
+502 1042 lineto
+502 1006 lineto
+588 1006 lineto

 closepath
 fill
 0.584 0.220 0.933 nodecolor
 closepath
 fill
 0.584 0.220 0.933 nodecolor

-newpath 626 1042 moveto
-540 1042 lineto
-540 1006 lineto
-626 1006 lineto
+newpath 588 1042 moveto
+502 1042 lineto
+502 1006 lineto
+588 1006 lineto

 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor

-547 1016 moveto
+509 1016 moveto

 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow


@@ -1702,24 +1659,24 @@ end grestore
 end grestore
 
 %      Uwobo -> content_pres
 end grestore
 
 %      Uwobo -> content_pres

-newpath 612 1006 moveto
-618 1003 624 1000 630 998 curveto
-733 963 766 985 871 962 curveto
-878 961 884 959 891 957 curveto
+newpath 574 1006 moveto
+580 1003 586 1000 592 998 curveto
+695 963 728 985 833 962 curveto
+840 961 846 959 853 957 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 892 960 moveto
-901 954 lineto
-890 954 lineto
+newpath 854 960 moveto
+863 954 lineto
+852 954 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 892 960 moveto
-901 954 lineto
-890 954 lineto
+newpath 854 960 moveto
+863 954 lineto
+852 954 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore


@@ -1729,22 +1686,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor

-newpath 764 1226 moveto
-684 1226 lineto
-684 1190 lineto
-764 1190 lineto
+newpath 726 1226 moveto
+646 1226 lineto
+646 1190 lineto
+726 1190 lineto

 closepath
 fill
 0.584 0.220 0.933 nodecolor
 closepath
 fill
 0.584 0.220 0.933 nodecolor

-newpath 764 1226 moveto
-684 1226 lineto
-684 1190 lineto
-764 1190 lineto
+newpath 726 1226 moveto
+646 1226 lineto
+646 1190 lineto
+726 1190 lineto

 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor

-691 1200 moveto
+653 1200 moveto

 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow


@@ -1752,22 +1709,22 @@ end grestore
 end grestore
 
 %      Whelp -> grafite_parser
 end grestore
 
 %      Whelp -> grafite_parser

-newpath 724 1190 moveto
-724 1182 724 1173 724 1164 curveto
+newpath 686 1190 moveto
+686 1182 686 1173 686 1164 curveto

 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor

-newpath 728 1164 moveto
-724 1154 lineto
-721 1164 lineto
+newpath 690 1164 moveto
+686 1154 lineto
+683 1164 lineto

 closepath
 fill
 0.000 0.000 0.000 edgecolor
 closepath
 fill
 0.000 0.000 0.000 edgecolor

-newpath 728 1164 moveto
-724 1154 lineto
-721 1164 lineto
+newpath 690 1164 moveto
+686 1154 lineto
+683 1164 lineto

 closepath
 stroke
 end grestore
 closepath
 stroke
 end grestore