From c487af185e2592449e33c228a3e4ef9a3875dea5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 9 Jan 2006 08:50:55 +0000 Subject: [PATCH] New version. --- helm/papers/matita/librariesCluster.ps | 465 +++++++++++-------------- 1 file changed, 211 insertions(+), 254 deletions(-) diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps index 94b066687..c3b765e5e 100644 --- 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) -%%BoundingBox: 35 35 1108 1263 +%%BoundingBox: 35 35 1070 1263 %%EndComments save %%BeginProlog @@ -230,10 +230,10 @@ def %%EndSetup %%Page: 1 1 -%%PageBoundingBox: 36 36 1108 1263 +%%PageBoundingBox: 36 36 1070 1263 %%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 @@ -244,22 +244,22 @@ gsave 10 dict begin 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 -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 -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 @@ -346,10 +346,10 @@ end grestore % acic_content gsave 10 dict begin -752 848 75 25 ellipse_path +714 848 75 25 ellipse_path 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 @@ -369,36 +369,36 @@ end grestore 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 -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 -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 -752 936 109 25 ellipse_path +714 936 109 25 ellipse_path 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 @@ -406,22 +406,22 @@ end grestore 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 -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 -newpath 756 884 moveto -752 874 lineto -749 884 lineto +newpath 718 884 moveto +714 874 lineto +711 884 lineto closepath stroke end grestore @@ -439,32 +439,32 @@ end grestore 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 -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 -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 -474 736 44 25 ellipse_path +479 736 44 25 ellipse_path stroke gsave 10 dict begin -444 728 moveto +449 728 moveto (whelp) [17.28 12 10.56 6.72 12] xshow @@ -472,32 +472,33 @@ end grestore 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 -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 -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 -957 936 76 25 ellipse_path +919 936 76 25 ellipse_path 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 @@ -505,22 +506,22 @@ end grestore 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 -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 -newpath 810 869 moveto -799 868 lineto -807 875 lineto +newpath 772 869 moveto +761 868 lineto +769 875 lineto closepath stroke end grestore @@ -538,69 +539,69 @@ end grestore 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 -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 -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 -724 1128 81 25 ellipse_path +686 1128 81 25 ellipse_path 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 -% sheath +% lexicon gsave 10 dict begin -752 1024 45 25 ellipse_path +714 1024 50 25 ellipse_path 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 -% 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 -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 -newpath 746 1059 moveto -745 1049 lineto -740 1058 lineto +newpath 708 1059 moveto +707 1049 lineto +702 1058 lineto closepath stroke end grestore @@ -618,10 +619,10 @@ end grestore 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 @@ -642,44 +643,44 @@ closepath 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 -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 -newpath 756 972 moveto -752 962 lineto -749 972 lineto +newpath 718 972 moveto +714 962 lineto +711 972 lineto 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 -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 -newpath 902 963 moveto -910 956 lineto -899 957 lineto +newpath 864 963 moveto +872 956 lineto +861 956 lineto 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 -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 -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 -newpath 439 764 moveto -446 756 lineto -436 758 lineto +newpath 442 763 moveto +449 755 lineto +439 757 lineto closepath stroke end grestore @@ -1191,22 +1192,22 @@ stroke 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 -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 -newpath 484 672 moveto -482 662 lineto -478 672 lineto +newpath 485 672 moveto +483 662 lineto +479 672 lineto 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 -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 -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 -583 742 moveto +588 742 moveto (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 @@ -1414,22 +1415,22 @@ end grestore 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 -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 -newpath 527 659 moveto -517 657 lineto -524 665 lineto +newpath 528 659 moveto +518 657 lineto +525 665 lineto 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 -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 -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 -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 -> 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 -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 -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 -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 -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 -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 -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 -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 @@ -1679,22 +1636,22 @@ gsave 10 dict begin 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 -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 -547 1016 moveto +509 1016 moveto (Uwobo) [17.28 17.28 12 12 12] xshow @@ -1702,24 +1659,24 @@ end grestore 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 -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 -newpath 892 960 moveto -901 954 lineto -890 954 lineto +newpath 854 960 moveto +863 954 lineto +852 954 lineto 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 -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 -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 -691 1200 moveto +653 1200 moveto (Whelp) [22.56 12 10.56 6.72 12] xshow @@ -1752,22 +1709,22 @@ end grestore 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 -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 -newpath 728 1164 moveto -724 1154 lineto -721 1164 lineto +newpath 690 1164 moveto +686 1154 lineto +683 1164 lineto closepath stroke end grestore -- 2.39.2