From 1c550c714e92590060c782824183909ff3eced69 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 25 Nov 2005 11:24:28 +0000 Subject: [PATCH] added missing deps --- helm/papers/matita/libraries.dot | 10 +- helm/papers/matita/librariesCluster.ps | 904 ++++++++++++------------- 2 files changed, 446 insertions(+), 468 deletions(-) diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot index c16802a96..18b8abd3a 100644 --- 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 03d3665d8..99821b753 100644 --- 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 -- 2.39.2