From 8f3b97594c810f476149c96b6cb46141d8cf4eaf Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 18 Jan 2006 12:07:49 +0000 Subject: [PATCH] New dependencies! --- helm/papers/matita/librariesCluster.ps | 1037 ++++++++++++------------ 1 file changed, 501 insertions(+), 536 deletions(-) diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps index c3b765e5e..c6ee33271 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 1070 1263 +%%BoundingBox: 35 35 933 1263 %%EndComments save %%BeginProlog @@ -230,10 +230,10 @@ def %%EndSetup %%Page: 1 1 -%%PageBoundingBox: 36 36 1070 1263 +%%PageBoundingBox: 36 36 933 1263 %%PageOrientation: Portrait gsave -35 35 1035 1228 boxprim clip newpath +35 35 898 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 596 778 moveto -1025 778 lineto -1025 1162 lineto -596 1162 lineto +newpath 436 778 moveto +865 778 lineto +865 1162 lineto +436 1162 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 596 778 moveto -1025 778 lineto -1025 1162 lineto -596 1162 lineto +newpath 436 778 moveto +865 778 lineto +865 1162 lineto +436 1162 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -604 788 moveto +444 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 @@ -270,22 +270,22 @@ gsave 10 dict begin filled 0.000 0.000 1.000 sethsbcolor 0.000 0.000 0.929 sethsbcolor -newpath 68 814 moveto -454 814 lineto -454 1094 lineto -68 1094 lineto +newpath 84 814 moveto +334 814 lineto +334 1094 lineto +84 1094 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 68 814 moveto -454 814 lineto -454 1094 lineto -68 1094 lineto +newpath 84 814 moveto +334 814 lineto +334 1094 lineto +84 1094 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -76 1068 moveto +92 1068 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 289 296 moveto -551 296 lineto -551 770 lineto -289 770 lineto +newpath 220 296 moveto +482 296 lineto +482 770 lineto +220 770 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 289 296 moveto -551 296 lineto -551 770 lineto -289 770 lineto +newpath 220 296 moveto +482 296 lineto +482 770 lineto +220 770 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -296 306 moveto +227 306 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 559 16 moveto -957 16 lineto -957 400 lineto -559 400 lineto +newpath 490 16 moveto +888 16 lineto +888 400 lineto +490 400 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 559 16 moveto -957 16 lineto -957 400 lineto -559 400 lineto +newpath 490 16 moveto +888 16 lineto +888 400 lineto +490 400 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -871 26 moveto +802 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 -714 848 75 25 ellipse_path +554 848 75 25 ellipse_path stroke gsave 10 dict begin -653 840 moveto +493 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 @@ -358,10 +358,10 @@ end grestore % cic_acic gsave 10 dict begin -352 636 54 25 ellipse_path +283 636 54 25 ellipse_path stroke gsave 10 dict begin -312 628 moveto +243 628 moveto (cic_acic) [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56] xshow @@ -369,36 +369,35 @@ end grestore end grestore % acic_content -> cic_acic -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 +newpath 530 824 moveto +517 809 500 789 487 770 curveto +470 742 482 725 458 704 curveto +420 669 395 687 347 668 curveto +341 665 335 663 329 660 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 398 657 moveto -388 655 lineto -395 663 lineto +newpath 330 657 moveto +320 655 lineto +327 663 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 398 657 moveto -388 655 lineto -395 663 lineto +newpath 330 657 moveto +320 655 lineto +327 663 lineto closepath stroke end grestore % cic_disambiguation gsave 10 dict begin -714 936 109 25 ellipse_path +554 936 109 25 ellipse_path stroke gsave 10 dict begin -619 928 moveto +459 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,32 +405,32 @@ end grestore end grestore % cic_disambiguation -> acic_content -newpath 714 910 moveto -714 902 714 893 714 884 curveto +newpath 554 910 moveto +554 902 554 893 554 884 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 718 884 moveto -714 874 lineto -711 884 lineto +newpath 558 884 moveto +554 874 lineto +551 884 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 718 884 moveto -714 874 lineto -711 884 lineto +newpath 558 884 moveto +554 874 lineto +551 884 lineto closepath stroke end grestore % cic_unification gsave 10 dict begin -359 848 86 25 ellipse_path +239 848 86 25 ellipse_path stroke gsave 10 dict begin -287 840 moveto +167 840 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 @@ -439,32 +438,32 @@ end grestore end grestore % cic_disambiguation -> cic_unification -newpath 639 917 moveto -579 903 495 882 435 867 curveto +newpath 484 916 moveto +433 902 364 883 312 869 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 435 864 moveto -425 865 lineto -434 870 lineto +newpath 313 866 moveto +302 866 lineto +311 872 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 435 864 moveto -425 865 lineto -434 870 lineto +newpath 313 866 moveto +302 866 lineto +311 872 lineto closepath stroke end grestore % whelp gsave 10 dict begin -479 736 44 25 ellipse_path +404 736 44 25 ellipse_path stroke gsave 10 dict begin -449 728 moveto +374 728 moveto (whelp) [17.28 12 10.56 6.72 12] xshow @@ -472,33 +471,33 @@ end grestore end grestore % cic_disambiguation -> whelp -newpath 679 912 moveto -664 900 645 887 629 874 curveto -586 838 538 794 509 765 curveto +newpath 513 912 moveto +498 902 481 889 469 874 curveto +444 843 426 801 415 771 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 512 763 moveto -502 758 lineto -507 768 lineto +newpath 418 770 moveto +412 761 lineto +412 772 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 512 763 moveto -502 758 lineto -507 768 lineto +newpath 418 770 moveto +412 761 lineto +412 772 lineto closepath stroke end grestore % content_pres gsave 10 dict begin -919 936 76 25 ellipse_path +759 936 76 25 ellipse_path stroke gsave 10 dict begin -857 928 moveto +697 928 moveto (content_pres) [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36] xshow @@ -506,32 +505,32 @@ end grestore end grestore % content_pres -> acic_content -newpath 872 916 moveto -841 903 802 886 770 872 curveto +newpath 712 916 moveto +681 903 642 886 610 872 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 772 869 moveto -761 868 lineto -769 875 lineto +newpath 612 869 moveto +601 868 lineto +609 875 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 772 869 moveto -761 868 lineto -769 875 lineto +newpath 612 869 moveto +601 868 lineto +609 875 lineto closepath stroke end grestore % utf8_macros gsave 10 dict begin -873 366 75 25 ellipse_path +804 366 75 25 ellipse_path stroke gsave 10 dict begin -812 358 moveto +743 358 moveto (utf8_macros) [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36] xshow @@ -539,34 +538,34 @@ end grestore end grestore % content_pres -> utf8_macros -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 +newpath 764 910 moveto +770 872 781 799 781 736 curveto +781 736 781 736 781 542 curveto +781 493 790 437 797 401 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 886 401 moveto -880 392 lineto -880 403 lineto +newpath 800 401 moveto +799 391 lineto +794 400 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 886 401 moveto -880 392 lineto -880 403 lineto +newpath 800 401 moveto +799 391 lineto +794 400 lineto closepath stroke end grestore % grafite_parser gsave 10 dict begin -686 1128 81 25 ellipse_path +526 1128 81 25 ellipse_path stroke gsave 10 dict begin -619 1120 moveto +459 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 @@ -575,10 +574,10 @@ end grestore % lexicon gsave 10 dict begin -714 1024 50 25 ellipse_path +554 1024 50 25 ellipse_path stroke gsave 10 dict begin -678 1016 moveto +518 1016 moveto (lexicon) [6.72 10.56 12 6.72 10.56 12 12] xshow @@ -586,32 +585,32 @@ end grestore end grestore % grafite_parser -> lexicon -newpath 693 1103 moveto -696 1090 701 1074 705 1059 curveto +newpath 533 1103 moveto +536 1090 541 1074 545 1059 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 708 1059 moveto -707 1049 lineto -702 1058 lineto +newpath 548 1059 moveto +547 1049 lineto +542 1058 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 708 1059 moveto -707 1049 lineto -702 1058 lineto +newpath 548 1059 moveto +547 1049 lineto +542 1058 lineto closepath stroke end grestore % grafite gsave 10 dict begin -161 936 46 25 ellipse_path +139 936 46 25 ellipse_path stroke gsave 10 dict begin -129 928 moveto +107 928 moveto (grafite) [12 7.92 10.56 7.92 6.72 6.72 10.56] xshow @@ -619,78 +618,78 @@ end grestore end grestore % grafite_parser -> grafite -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 +newpath 472 1108 moveto +463 1106 453 1103 444 1102 curveto +430 1099 324 1102 312 1094 curveto +276 1066 309 1031 277 998 curveto +250 968 231 980 195 962 curveto +192 960 189 958 186 956 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 214 948 moveto -203 948 lineto -212 954 lineto +newpath 188 953 moveto +178 950 lineto +184 959 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 214 948 moveto -203 948 lineto -212 954 lineto +newpath 188 953 moveto +178 950 lineto +184 959 lineto closepath stroke end grestore % lexicon -> cic_disambiguation -newpath 714 998 moveto -714 990 714 981 714 972 curveto +newpath 554 998 moveto +554 990 554 981 554 972 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 718 972 moveto -714 962 lineto -711 972 lineto +newpath 558 972 moveto +554 962 lineto +551 972 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 718 972 moveto -714 962 lineto -711 972 lineto +newpath 558 972 moveto +554 962 lineto +551 972 lineto closepath stroke end grestore % lexicon -> content_pres -newpath 753 1007 moveto -784 994 828 976 862 960 curveto +newpath 593 1007 moveto +624 994 668 976 702 960 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 864 963 moveto -872 956 lineto -861 956 lineto +newpath 704 963 moveto +712 956 lineto +701 956 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 864 963 moveto -872 956 lineto -861 956 lineto +newpath 704 963 moveto +712 956 lineto +701 956 lineto closepath stroke end grestore % library gsave 10 dict begin -359 736 46 25 ellipse_path +283 736 46 25 ellipse_path stroke gsave 10 dict begin -327 728 moveto +251 728 moveto (library) [6.72 6.72 12 7.92 10.56 7.92 12] xshow @@ -698,32 +697,32 @@ end grestore end grestore % cic_unification -> library -newpath 359 822 moveto -359 807 359 788 359 772 curveto +newpath 249 823 moveto +255 808 263 788 269 771 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 363 772 moveto -359 762 lineto -356 772 lineto +newpath 273 772 moveto +273 761 lineto +266 769 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 363 772 moveto -359 762 lineto -356 772 lineto +newpath 273 772 moveto +273 761 lineto +266 769 lineto closepath stroke end grestore % tactics gsave 10 dict begin -313 936 45 25 ellipse_path +250 936 45 25 ellipse_path stroke gsave 10 dict begin -282 928 moveto +219 928 moveto (tactics) [6.72 10.56 10.56 6.72 6.72 10.56 9.36] xshow @@ -731,89 +730,56 @@ end grestore end grestore % tactics -> cic_unification -newpath 326 911 moveto -331 902 336 892 340 882 curveto +newpath 247 911 moveto +246 902 245 893 244 884 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 343 883 moveto -345 873 lineto -337 880 lineto +newpath 247 883 moveto +242 874 lineto +241 884 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 343 883 moveto -345 873 lineto -337 880 lineto +newpath 247 883 moveto +242 874 lineto +241 884 lineto closepath stroke end grestore % tactics -> whelp -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 -424 768 432 764 440 760 curveto +newpath 216 918 moveto +187 903 147 881 143 874 curveto +122 837 114 808 143 778 curveto +159 762 318 775 339 770 curveto +348 768 357 764 365 760 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 442 763 moveto -449 755 lineto -439 757 lineto +newpath 367 763 moveto +374 755 lineto +364 757 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 442 763 moveto -449 755 lineto -439 757 lineto -closepath -stroke -end grestore - -% paramodulation -gsave 10 dict begin -355 1024 90 25 ellipse_path -stroke -gsave 10 dict begin -279 1016 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 -end grestore -end grestore - -% paramodulation -> tactics -newpath 343 999 moveto -338 990 333 980 329 970 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 332 969 moveto -325 961 lineto -326 972 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 332 969 moveto -325 961 lineto -326 972 lineto +newpath 367 763 moveto +374 755 lineto +364 757 lineto closepath stroke end grestore % cic gsave 10 dict begin -408 454 28 25 ellipse_path +339 454 28 25 ellipse_path stroke gsave 10 dict begin -394 446 moveto +325 446 moveto (cic) [10.56 6.72 10.56] xshow @@ -821,36 +787,36 @@ end grestore end grestore % grafite -> cic -newpath 160 910 moveto -158 872 155 798 155 736 curveto -155 736 155 736 155 636 curveto -155 556 219 554 288 516 curveto -327 495 343 502 379 480 curveto -379 480 380 480 380 479 curveto +newpath 128 911 moveto +112 874 86 800 86 736 curveto +86 736 86 736 86 636 curveto +86 556 150 554 219 516 curveto +258 495 274 502 310 480 curveto +310 480 311 480 311 479 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 382 482 moveto -388 473 lineto -378 476 lineto +newpath 313 482 moveto +319 473 lineto +309 476 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 382 482 moveto -388 473 lineto -378 476 lineto +newpath 313 482 moveto +319 473 lineto +309 476 lineto closepath stroke end grestore % grafite_engine gsave 10 dict begin -161 1024 84 25 ellipse_path +183 1024 84 25 ellipse_path stroke gsave 10 dict begin -91 1016 moveto +113 1016 moveto (grafite_engine) [12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56] xshow @@ -858,53 +824,53 @@ end grestore end grestore % grafite_engine -> tactics -newpath 200 1001 moveto -222 989 249 973 272 960 curveto +newpath 193 998 moveto +200 986 210 975 219 965 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 274 963 moveto -281 955 lineto -271 957 lineto +newpath 221 968 moveto +226 958 lineto +216 963 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 274 963 moveto -281 955 lineto -271 957 lineto +newpath 221 968 moveto +226 958 lineto +216 963 lineto closepath stroke end grestore % grafite_engine -> grafite -newpath 161 998 moveto -161 990 161 981 161 972 curveto +newpath 170 999 moveto +165 990 160 980 156 970 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 165 972 moveto -161 962 lineto -158 972 lineto +newpath 159 968 moveto +151 961 lineto +153 971 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 165 972 moveto -161 962 lineto -158 972 lineto +newpath 159 968 moveto +151 961 lineto +153 971 lineto closepath stroke end grestore % urimanager gsave 10 dict begin -424 366 70 25 ellipse_path +355 366 70 25 ellipse_path stroke gsave 10 dict begin -368 358 moveto +299 358 moveto (urimanager) [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92] xshow @@ -912,32 +878,32 @@ end grestore end grestore % cic -> urimanager -newpath 413 429 moveto -414 420 416 411 417 402 curveto +newpath 344 429 moveto +345 420 347 411 348 402 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 420 402 moveto -419 392 lineto -414 401 lineto +newpath 351 402 moveto +350 392 lineto +345 401 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 420 402 moveto -419 392 lineto -414 401 lineto +newpath 351 402 moveto +350 392 lineto +345 401 lineto closepath stroke end grestore % xml gsave 10 dict begin -622 174 33 25 ellipse_path +553 174 33 25 ellipse_path stroke gsave 10 dict begin -603 166 moveto +534 166 moveto (xml) [12 18.72 6.72] xshow @@ -945,34 +911,34 @@ end grestore end grestore % cic -> xml -newpath 383 440 moveto -369 431 352 417 344 400 curveto -325 358 319 334 344 296 curveto -396 216 514 188 578 178 curveto +newpath 314 440 moveto +300 431 283 417 275 400 curveto +256 358 250 334 275 296 curveto +327 216 445 188 509 178 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 578 181 moveto -588 177 lineto -578 175 lineto +newpath 509 181 moveto +519 177 lineto +509 175 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 578 181 moveto -588 177 lineto -578 175 lineto +newpath 509 181 moveto +519 177 lineto +509 175 lineto closepath stroke end grestore % cic_proof_checking gsave 10 dict begin -408 542 110 25 ellipse_path +339 542 110 25 ellipse_path stroke gsave 10 dict begin -312 534 moveto +243 534 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 @@ -980,32 +946,32 @@ end grestore end grestore % cic_proof_checking -> cic -newpath 408 516 moveto -408 508 408 499 408 490 curveto +newpath 339 516 moveto +339 508 339 499 339 490 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 412 490 moveto -408 480 lineto -405 490 lineto +newpath 343 490 moveto +339 480 lineto +336 490 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 412 490 moveto -408 480 lineto -405 490 lineto +newpath 343 490 moveto +339 480 lineto +336 490 lineto closepath stroke end grestore % getter gsave 10 dict begin -500 454 42 25 ellipse_path +431 454 42 25 ellipse_path stroke gsave 10 dict begin -472 446 moveto +403 446 moveto (getter) [12 10.56 6.72 6.72 10.56 7.92] xshow @@ -1013,53 +979,53 @@ end grestore end grestore % cic_proof_checking -> getter -newpath 418 516 moveto -430 501 446 487 460 477 curveto +newpath 349 516 moveto +361 501 377 487 391 477 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 462 480 moveto -469 472 lineto -459 474 lineto +newpath 393 480 moveto +400 472 lineto +390 474 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 462 480 moveto -469 472 lineto -459 474 lineto +newpath 393 480 moveto +400 472 lineto +390 474 lineto closepath stroke end grestore % getter -> urimanager -newpath 480 431 moveto -472 421 461 409 452 398 curveto +newpath 411 431 moveto +403 421 392 409 383 398 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 455 396 moveto -445 391 lineto -450 401 lineto +newpath 386 396 moveto +376 391 lineto +381 401 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 455 396 moveto -445 391 lineto -450 401 lineto +newpath 386 396 moveto +376 391 lineto +381 401 lineto closepath stroke end grestore % registry gsave 10 dict begin -748 262 52 25 ellipse_path +679 262 52 25 ellipse_path stroke gsave 10 dict begin -710 254 moveto +641 254 moveto (registry) [7.92 10.56 12 6.72 9.36 6.72 7.92 12] xshow @@ -1067,34 +1033,34 @@ end grestore end grestore % getter -> registry -newpath 501 428 moveto -505 392 517 327 558 296 curveto -570 287 673 291 686 288 curveto -691 287 696 285 700 284 curveto +newpath 432 428 moveto +436 392 448 327 489 296 curveto +501 287 604 291 617 288 curveto +622 287 627 285 631 284 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 702 287 moveto -710 280 lineto -699 280 lineto +newpath 633 287 moveto +641 280 lineto +630 280 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 702 287 moveto -710 280 lineto -699 280 lineto +newpath 633 287 moveto +641 280 lineto +630 280 lineto closepath stroke end grestore % logger gsave 10 dict begin -613 366 45 25 ellipse_path +544 366 45 25 ellipse_path stroke gsave 10 dict begin -582 358 moveto +513 358 moveto (logger) [6.72 12 12 12 10.56 7.92] xshow @@ -1102,32 +1068,32 @@ end grestore end grestore % getter -> logger -newpath 526 434 moveto -541 422 561 406 578 393 curveto +newpath 457 434 moveto +472 422 492 406 509 393 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 580 396 moveto -586 387 lineto -576 390 lineto +newpath 511 396 moveto +517 387 lineto +507 390 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 580 396 moveto -586 387 lineto -576 390 lineto +newpath 511 396 moveto +517 387 lineto +507 390 lineto closepath stroke end grestore % metadata gsave 10 dict begin -484 636 58 25 ellipse_path +415 636 58 25 ellipse_path stroke gsave 10 dict begin -440 628 moveto +371 628 moveto (metadata) [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56] xshow @@ -1135,34 +1101,34 @@ end grestore end grestore % metadata -> cic -newpath 505 612 moveto -525 586 548 546 528 516 curveto -507 483 483 498 448 480 curveto -445 478 443 477 440 475 curveto +newpath 436 612 moveto +456 586 479 546 459 516 curveto +438 483 414 498 379 480 curveto +376 478 374 477 371 475 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 441 472 moveto -431 469 lineto -437 477 lineto +newpath 372 472 moveto +362 469 lineto +368 477 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 441 472 moveto -431 469 lineto -437 477 lineto +newpath 372 472 moveto +362 469 lineto +368 477 lineto closepath stroke end grestore % hmysql gsave 10 dict begin -728 366 50 25 ellipse_path +659 366 50 25 ellipse_path stroke gsave 10 dict begin -692 358 moveto +623 358 moveto (hmysql) [12 18.72 12 9.36 12 6.72] xshow @@ -1170,117 +1136,117 @@ end grestore end grestore % metadata -> hmysql -newpath 539 626 moveto -600 616 638 623 686 568 curveto -727 521 731 446 730 402 curveto +newpath 470 626 moveto +531 616 569 623 617 568 curveto +658 521 662 446 661 402 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 734 402 moveto -730 392 lineto -727 402 lineto +newpath 665 402 moveto +661 392 lineto +658 402 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 734 402 moveto -730 392 lineto -727 402 lineto +newpath 665 402 moveto +661 392 lineto +658 402 lineto closepath stroke end grestore % whelp -> metadata -newpath 480 711 moveto -481 699 482 685 482 672 curveto +newpath 407 711 moveto +409 699 410 685 411 672 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 485 672 moveto -483 662 lineto -479 672 lineto +newpath 414 672 moveto +412 662 lineto +408 672 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 485 672 moveto -483 662 lineto -479 672 lineto +newpath 414 672 moveto +412 662 lineto +408 672 lineto closepath stroke end grestore % library -> metadata -newpath 386 715 moveto -404 700 428 680 448 664 curveto +newpath 311 715 moveto +330 701 356 681 377 664 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 450 667 moveto -456 658 lineto -446 661 lineto +newpath 379 667 moveto +385 658 lineto +375 661 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 450 667 moveto -456 658 lineto -446 661 lineto +newpath 379 667 moveto +385 658 lineto +375 661 lineto closepath stroke end grestore % library -> cic_acic -newpath 357 711 moveto -356 699 355 685 355 672 curveto +newpath 283 710 moveto +283 698 283 685 283 672 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 358 672 moveto -354 662 lineto -352 672 lineto +newpath 287 672 moveto +283 662 lineto +280 672 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 358 672 moveto -354 662 lineto -352 672 lineto +newpath 287 672 moveto +283 662 lineto +280 672 lineto closepath stroke end grestore % cic_acic -> cic_proof_checking -newpath 367 611 moveto -373 600 381 587 388 576 curveto +newpath 298 611 moveto +304 600 312 587 319 576 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 391 577 moveto -393 567 lineto -385 574 lineto +newpath 322 577 moveto +324 567 lineto +316 574 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 391 577 moveto -393 567 lineto -385 574 lineto +newpath 322 577 moveto +324 567 lineto +316 574 lineto closepath stroke end grestore % extlib gsave 10 dict begin -622 86 42 25 ellipse_path +553 86 42 25 ellipse_path stroke gsave 10 dict begin -594 78 moveto +525 78 moveto (extlib) [10.56 12 6.72 6.72 6.72 12] xshow @@ -1289,10 +1255,10 @@ end grestore % hgdome gsave 10 dict begin -622 262 54 25 ellipse_path +553 262 54 25 ellipse_path stroke gsave 10 dict begin -582 254 moveto +513 254 moveto (hgdome) [12 12 12 12 18.72 10.56] xshow @@ -1300,85 +1266,85 @@ end grestore end grestore % hgdome -> xml -newpath 622 236 moveto -622 228 622 219 622 210 curveto +newpath 553 236 moveto +553 228 553 219 553 210 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 626 210 moveto -622 200 lineto -619 210 lineto +newpath 557 210 moveto +553 200 lineto +550 210 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 626 210 moveto -622 200 lineto -619 210 lineto +newpath 557 210 moveto +553 200 lineto +550 210 lineto closepath stroke end grestore % hmysql -> registry -newpath 733 341 moveto -735 328 738 312 741 298 curveto +newpath 664 341 moveto +666 328 669 312 672 298 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 744 298 moveto -743 288 lineto -738 297 lineto +newpath 675 298 moveto +674 288 lineto +669 297 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 744 298 moveto -743 288 lineto -738 297 lineto +newpath 675 298 moveto +674 288 lineto +669 297 lineto closepath stroke end grestore % registry -> xml -newpath 718 241 moveto -699 228 674 211 655 197 curveto +newpath 649 241 moveto +630 228 605 211 586 197 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 657 194 moveto -647 191 lineto -653 200 lineto +newpath 588 194 moveto +578 191 lineto +584 200 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 657 194 moveto -647 191 lineto -653 200 lineto +newpath 588 194 moveto +578 191 lineto +584 200 lineto closepath stroke end grestore % xml -> extlib -newpath 622 148 moveto -622 140 622 131 622 122 curveto +newpath 553 148 moveto +553 140 553 131 553 122 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 626 122 moveto -622 112 lineto -619 122 lineto +newpath 557 122 moveto +553 112 lineto +550 122 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 626 122 moveto -622 112 lineto -619 122 lineto +newpath 557 122 moveto +553 112 lineto +550 122 lineto closepath stroke end grestore @@ -1388,26 +1354,26 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 716 768 moveto -580 768 lineto -580 704 lineto -716 704 lineto +newpath 641 768 moveto +505 768 lineto +505 704 lineto +641 704 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 716 768 moveto -580 768 lineto -580 704 lineto -716 704 lineto +newpath 641 768 moveto +505 768 lineto +505 704 lineto +641 704 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -588 742 moveto +513 742 moveto (Dependency) [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12] xshow -604 714 moveto +529 714 moveto (Analyzer) [17.28 12 10.56 6.72 12 10.56 10.56 7.92] xshow @@ -1415,22 +1381,22 @@ end grestore end grestore % DependencyAnalyzer -> metadata -newpath 595 704 moveto -573 691 547 675 527 662 curveto +newpath 522 704 moveto +501 691 477 675 457 662 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 528 659 moveto -518 657 lineto -525 665 lineto +newpath 458 659 moveto +448 657 lineto +455 665 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 528 659 moveto -518 657 lineto -525 665 lineto +newpath 458 659 moveto +448 657 lineto +455 665 lineto closepath stroke end grestore @@ -1440,22 +1406,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 635 560 moveto -559 560 lineto -559 524 lineto -635 524 lineto +newpath 566 560 moveto +490 560 lineto +490 524 lineto +566 524 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 635 560 moveto -559 560 lineto -559 524 lineto -635 524 lineto +newpath 566 560 moveto +490 560 lineto +490 524 lineto +566 524 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -567 534 moveto +498 534 moveto (Getter) [17.28 10.56 6.72 6.72 10.56 7.92] xshow @@ -1463,22 +1429,22 @@ end grestore end grestore % Getter -> getter -newpath 577 524 moveto -563 512 546 496 532 483 curveto +newpath 508 524 moveto +494 512 477 496 463 483 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 534 480 moveto -524 476 lineto -529 485 lineto +newpath 465 480 moveto +455 476 lineto +460 485 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 534 480 moveto -524 476 lineto -529 485 lineto +newpath 465 480 moveto +455 476 lineto +460 485 lineto closepath stroke end grestore @@ -1488,22 +1454,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 200 1226 moveto -122 1226 lineto -122 1190 lineto -200 1190 lineto +newpath 222 1226 moveto +144 1226 lineto +144 1190 lineto +222 1190 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 200 1226 moveto -122 1226 lineto -122 1190 lineto -200 1190 lineto +newpath 222 1226 moveto +144 1226 lineto +144 1190 lineto +222 1190 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -129 1200 moveto +151 1200 moveto (Matita) [21.36 10.56 6.72 6.72 6.72 10.56] xshow @@ -1511,69 +1477,68 @@ end grestore end grestore % Matita -> grafite_parser -newpath 200 1205 moveto -294 1199 529 1181 604 1162 curveto -613 1160 622 1157 631 1153 curveto +newpath 222 1204 moveto +274 1197 367 1184 444 1162 curveto +453 1159 461 1156 470 1153 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 632 1156 moveto -641 1150 lineto -630 1150 lineto +newpath 471 1156 moveto +479 1149 lineto +468 1150 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 632 1156 moveto -641 1150 lineto -630 1150 lineto +newpath 471 1156 moveto +479 1149 lineto +468 1150 lineto closepath stroke end grestore % Matita -> grafite_engine -newpath 161 1190 moveto -161 1160 161 1099 161 1060 curveto +newpath 183 1190 moveto +183 1160 183 1099 183 1060 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 165 1060 moveto -161 1050 lineto -158 1060 lineto +newpath 187 1060 moveto +183 1050 lineto +180 1060 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 165 1060 moveto -161 1050 lineto -158 1060 lineto +newpath 187 1060 moveto +183 1050 lineto +180 1060 lineto closepath stroke end grestore % Matita -> hgdome -newpath 141 1190 moveto -118 1169 83 1132 64 1094 curveto -50 1065 48 1055 48 1024 curveto +newpath 157 1190 moveto +118 1160 48 1097 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 351 123 338 216 296 curveto +263 274 404 267 488 263 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 557 268 moveto -567 264 lineto -557 262 lineto +newpath 488 267 moveto +498 263 lineto +488 260 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 557 268 moveto -567 264 lineto -557 262 lineto +newpath 488 267 moveto +498 263 lineto +488 260 lineto closepath stroke end grestore @@ -1583,26 +1548,26 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 279 668 moveto -183 668 lineto -183 604 lineto -279 604 lineto +newpath 210 668 moveto +114 668 lineto +114 604 lineto +210 604 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 279 668 moveto -183 668 lineto -183 604 lineto -279 604 lineto +newpath 210 668 moveto +114 668 lineto +114 604 lineto +210 604 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -204 642 moveto +135 642 moveto (Proof) [13.44 7.92 12 12 7.92] xshow -191 614 moveto +122 614 moveto (Checker) [16.08 12 10.56 10.56 12 10.56 7.92] xshow @@ -1610,23 +1575,23 @@ end grestore end grestore % ProofChecker -> cic_proof_checking -newpath 279 607 moveto -281 606 283 605 285 604 curveto -306 592 330 580 351 569 curveto +newpath 210 607 moveto +212 606 214 605 216 604 curveto +237 592 261 580 282 569 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 352 572 moveto -360 565 lineto -349 566 lineto +newpath 283 572 moveto +291 565 lineto +280 566 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 352 572 moveto -360 565 lineto -349 566 lineto +newpath 283 572 moveto +291 565 lineto +280 566 lineto closepath stroke end grestore @@ -1636,22 +1601,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 588 1042 moveto -502 1042 lineto -502 1006 lineto -588 1006 lineto +newpath 428 1042 moveto +342 1042 lineto +342 1006 lineto +428 1006 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 588 1042 moveto -502 1042 lineto -502 1006 lineto -588 1006 lineto +newpath 428 1042 moveto +342 1042 lineto +342 1006 lineto +428 1006 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -509 1016 moveto +349 1016 moveto (Uwobo) [17.28 17.28 12 12 12] xshow @@ -1659,24 +1624,24 @@ end grestore end grestore % Uwobo -> content_pres -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 +newpath 414 1006 moveto +420 1003 426 1000 432 998 curveto +535 963 568 985 673 962 curveto +680 961 686 959 693 957 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 854 960 moveto -863 954 lineto -852 954 lineto +newpath 694 960 moveto +703 954 lineto +692 954 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 854 960 moveto -863 954 lineto -852 954 lineto +newpath 694 960 moveto +703 954 lineto +692 954 lineto closepath stroke end grestore @@ -1686,22 +1651,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 726 1226 moveto -646 1226 lineto -646 1190 lineto -726 1190 lineto +newpath 566 1226 moveto +486 1226 lineto +486 1190 lineto +566 1190 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 726 1226 moveto -646 1226 lineto -646 1190 lineto -726 1190 lineto +newpath 566 1226 moveto +486 1226 lineto +486 1190 lineto +566 1190 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -653 1200 moveto +493 1200 moveto (Whelp) [22.56 12 10.56 6.72 12] xshow @@ -1709,22 +1674,22 @@ end grestore end grestore % Whelp -> grafite_parser -newpath 686 1190 moveto -686 1182 686 1173 686 1164 curveto +newpath 526 1190 moveto +526 1182 526 1173 526 1164 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 690 1164 moveto -686 1154 lineto -683 1164 lineto +newpath 530 1164 moveto +526 1154 lineto +523 1164 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 690 1164 moveto -686 1154 lineto -683 1164 lineto +newpath 530 1164 moveto +526 1154 lineto +523 1164 lineto closepath stroke end grestore -- 2.39.2