From bfc419549c067ca4c90c2ddd37b17f9b70bd52c0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 25 Nov 2005 12:09:08 +0000 Subject: [PATCH] deps --- helm/papers/matita/libraries.dot | 5 +- helm/papers/matita/libraries.ps | 806 ++++++++++++----------- helm/papers/matita/librariesCluster.ps | 877 +++++++++++++------------ 3 files changed, 855 insertions(+), 833 deletions(-) diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot index 18b8abd3a..78259d774 100644 --- a/helm/papers/matita/libraries.dot +++ b/helm/papers/matita/libraries.dot @@ -82,7 +82,7 @@ digraph G { /* apps */ subgraph applications { node [shape=plaintext,style=filled,fillcolor=slategray2]; - DrawGraph; + DependencyAnalyzer; Getter; Matita; ProofChecker; @@ -90,7 +90,7 @@ digraph G { Whelp; } /* apps dep */ - DrawGraph -> metadata; + DependencyAnalyzer -> metadata; Getter -> getter; Matita -> cic_disambiguation; Matita -> grafite; @@ -99,4 +99,5 @@ digraph G { ProofChecker -> cic_proof_checking; Uwobo -> content_pres; Whelp -> cic_disambiguation; + Whelp -> content_pres; } diff --git a/helm/papers/matita/libraries.ps b/helm/papers/matita/libraries.ps index e6cbb4d23..26cbc87f6 100644 --- a/helm/papers/matita/libraries.ps +++ b/helm/papers/matita/libraries.ps @@ -3,7 +3,7 @@ %%For: (zacchiro) Stefano Zacchiroli,,, %%Title: G %%Pages: (atend) -%%BoundingBox: 35 35 819 801 +%%BoundingBox: 35 35 866 873 %%EndComments save %%BeginProlog @@ -230,10 +230,10 @@ def %%EndSetup %%Page: 1 1 -%%PageBoundingBox: 36 36 819 801 +%%PageBoundingBox: 36 36 866 873 %%PageOrientation: Portrait gsave -35 35 784 766 boxprim clip newpath +35 35 831 838 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0 0 translate 0 rotate @@ -242,10 +242,10 @@ gsave % acic_content gsave 10 dict begin -536 562 75 25 ellipse_path +583 562 75 25 ellipse_path stroke gsave 10 dict begin -475 554 moveto +522 554 moveto (acic_content) [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72] xshow @@ -254,10 +254,10 @@ end grestore % cic_acic gsave 10 dict begin -487 474 54 25 ellipse_path +562 474 54 25 ellipse_path stroke gsave 10 dict begin -447 466 moveto +522 466 moveto (cic_acic) [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56] xshow @@ -265,32 +265,32 @@ end grestore end grestore % acic_content -> cic_acic -newpath 522 537 moveto -517 528 511 518 506 508 curveto +newpath 577 537 moveto +575 528 573 518 570 509 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 509 506 moveto -501 499 lineto -503 509 lineto +newpath 573 508 moveto +568 499 lineto +567 509 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 509 506 moveto -501 499 lineto -503 509 lineto +newpath 573 508 moveto +568 499 lineto +567 509 lineto closepath stroke end grestore % cic_proof_checking gsave 10 dict begin -487 386 110 25 ellipse_path +468 386 110 25 ellipse_path stroke gsave 10 dict begin -391 378 moveto +372 378 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 @@ -298,32 +298,32 @@ end grestore end grestore % cic_acic -> cic_proof_checking -newpath 487 448 moveto -487 440 487 431 487 422 curveto +newpath 537 451 moveto +526 441 513 429 501 418 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 491 422 moveto -487 412 lineto -484 422 lineto +newpath 504 416 moveto +494 411 lineto +499 421 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 491 422 moveto -487 412 lineto -484 422 lineto +newpath 504 416 moveto +494 411 lineto +499 421 lineto closepath stroke end grestore % cic_disambiguation gsave 10 dict begin -377 650 109 25 ellipse_path +426 650 109 25 ellipse_path stroke gsave 10 dict begin -282 642 moveto +331 642 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 @@ -331,32 +331,32 @@ end grestore end grestore % cic_disambiguation -> acic_content -newpath 420 626 moveto -441 615 466 601 487 589 curveto +newpath 468 626 moveto +489 615 514 601 535 589 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 489 592 moveto -496 584 lineto -486 586 lineto +newpath 537 592 moveto +544 584 lineto +534 586 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 489 592 moveto -496 584 lineto -486 586 lineto +newpath 537 592 moveto +544 584 lineto +534 586 lineto closepath stroke end grestore % cic_unification gsave 10 dict begin -355 562 86 25 ellipse_path +402 562 86 25 ellipse_path stroke gsave 10 dict begin -283 554 moveto +330 554 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 @@ -364,32 +364,32 @@ end grestore end grestore % cic_disambiguation -> cic_unification -newpath 371 624 moveto -369 616 366 607 364 598 curveto +newpath 419 625 moveto +417 616 414 607 412 598 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 367 597 moveto -362 588 lineto -361 598 lineto +newpath 415 597 moveto +409 588 lineto +409 599 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 367 597 moveto -362 588 lineto -361 598 lineto +newpath 415 597 moveto +409 588 lineto +409 599 lineto closepath stroke end grestore % whelp gsave 10 dict begin -205 562 44 25 ellipse_path +252 562 44 25 ellipse_path stroke gsave 10 dict begin -175 554 moveto +222 554 moveto (whelp) [17.28 12 10.56 6.72 12] xshow @@ -397,32 +397,32 @@ end grestore end grestore % cic_disambiguation -> whelp -newpath 331 627 moveto -305 614 273 597 247 584 curveto +newpath 380 627 moveto +353 614 320 597 295 584 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 248 581 moveto -238 579 lineto -245 587 lineto +newpath 296 581 moveto +286 579 lineto +293 587 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 248 581 moveto -238 579 lineto -245 587 lineto +newpath 296 581 moveto +286 579 lineto +293 587 lineto closepath stroke end grestore % content_pres gsave 10 dict begin -643 650 76 25 ellipse_path +631 650 76 25 ellipse_path stroke gsave 10 dict begin -581 642 moveto +569 642 moveto (content_pres) [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36] xshow @@ -430,32 +430,32 @@ end grestore end grestore % content_pres -> acic_content -newpath 614 626 moveto -602 616 586 603 573 593 curveto +newpath 617 625 moveto +612 616 607 606 602 596 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 575 590 moveto -565 586 lineto -570 595 lineto +newpath 605 594 moveto +597 587 lineto +599 597 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 575 590 moveto -565 586 lineto -570 595 lineto +newpath 605 594 moveto +597 587 lineto +599 597 lineto closepath stroke end grestore % utf8_macros gsave 10 dict begin -706 562 75 25 ellipse_path +753 562 75 25 ellipse_path stroke gsave 10 dict begin -645 554 moveto +692 554 moveto (utf8_macros) [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36] xshow @@ -463,32 +463,32 @@ end grestore end grestore % content_pres -> utf8_macros -newpath 661 625 moveto -668 616 676 605 682 595 curveto +newpath 663 627 moveto +678 616 697 603 713 591 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 685 597 moveto -688 587 lineto -679 593 lineto +newpath 715 594 moveto +721 585 lineto +711 588 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 685 597 moveto -688 587 lineto -679 593 lineto +newpath 715 594 moveto +721 585 lineto +711 588 lineto closepath stroke end grestore % grafite gsave 10 dict begin -644 738 46 25 ellipse_path +689 738 46 25 ellipse_path stroke gsave 10 dict begin -612 730 moveto +657 730 moveto (grafite) [12 7.92 10.56 7.92 6.72 6.72 10.56] xshow @@ -496,54 +496,54 @@ end grestore end grestore % grafite -> content_pres -newpath 644 712 moveto -644 704 643 695 643 686 curveto +newpath 673 714 moveto +667 705 659 694 653 684 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 647 686 moveto -643 676 lineto -640 686 lineto +newpath 655 681 moveto +647 675 lineto +650 685 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 647 686 moveto -643 676 lineto -640 686 lineto +newpath 655 681 moveto +647 675 lineto +650 685 lineto closepath stroke end grestore % cic_unification -> cic_proof_checking -newpath 367 537 moveto -380 513 400 476 423 448 curveto -431 438 441 427 450 418 curveto +newpath 425 537 moveto +434 526 443 513 449 500 curveto +459 475 465 445 466 422 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 453 420 moveto -458 411 lineto -448 415 lineto +newpath 469 422 moveto +467 412 lineto +463 422 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 453 420 moveto -458 411 lineto -448 415 lineto +newpath 469 422 moveto +467 412 lineto +463 422 lineto closepath stroke end grestore % tactics gsave 10 dict begin -165 650 45 25 ellipse_path +252 650 45 25 ellipse_path stroke gsave 10 dict begin -134 642 moveto +221 642 moveto (tactics) [6.72 10.56 10.56 6.72 6.72 10.56 9.36] xshow @@ -551,53 +551,53 @@ end grestore end grestore % tactics -> cic_unification -newpath 201 633 moveto -228 620 267 603 299 588 curveto +newpath 284 631 moveto +304 620 332 603 354 590 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 300 591 moveto -308 584 lineto -297 585 lineto +newpath 356 593 moveto +363 585 lineto +353 587 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 300 591 moveto -308 584 lineto -297 585 lineto +newpath 356 593 moveto +363 585 lineto +353 587 lineto closepath stroke end grestore % tactics -> whelp -newpath 176 625 moveto -181 616 185 606 190 596 curveto +newpath 252 624 moveto +252 616 252 607 252 598 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 193 598 moveto -194 587 lineto -187 595 lineto +newpath 256 598 moveto +252 588 lineto +249 598 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 193 598 moveto -194 587 lineto -187 595 lineto +newpath 256 598 moveto +252 588 lineto +249 598 lineto closepath stroke end grestore % paramodulation gsave 10 dict begin -132 738 90 25 ellipse_path +279 738 90 25 ellipse_path stroke gsave 10 dict begin -56 730 moveto +203 730 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 @@ -605,32 +605,32 @@ end grestore end grestore % paramodulation -> tactics -newpath 142 713 moveto -145 704 149 694 152 684 curveto +newpath 271 713 moveto +268 704 265 694 263 685 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 155 686 moveto -156 675 lineto -149 683 lineto +newpath 266 684 moveto +260 675 lineto +260 686 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 155 686 moveto -156 675 lineto -149 683 lineto +newpath 266 684 moveto +260 675 lineto +260 686 lineto closepath stroke end grestore % cic gsave 10 dict begin -427 298 28 25 ellipse_path +462 298 28 25 ellipse_path stroke gsave 10 dict begin -413 290 moveto +448 290 moveto (cic) [10.56 6.72 10.56] xshow @@ -639,10 +639,10 @@ end grestore % urimanager gsave 10 dict begin -347 210 70 25 ellipse_path +456 210 70 25 ellipse_path stroke gsave 10 dict begin -291 202 moveto +400 202 moveto (urimanager) [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92] xshow @@ -650,32 +650,32 @@ end grestore end grestore % cic -> urimanager -newpath 409 278 moveto -399 267 387 254 376 241 curveto +newpath 460 272 moveto +459 264 459 255 458 246 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 379 239 moveto -369 234 lineto -374 244 lineto +newpath 462 246 moveto +458 236 lineto +455 246 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 379 239 moveto -369 234 lineto -374 244 lineto +newpath 462 246 moveto +458 236 lineto +455 246 lineto closepath stroke end grestore % xml gsave 10 dict begin -205 122 33 25 ellipse_path +312 122 33 25 ellipse_path stroke gsave 10 dict begin -186 114 moveto +293 114 moveto (xml) [12 18.72 6.72] xshow @@ -683,54 +683,55 @@ end grestore end grestore % cic -> xml -newpath 435 273 moveto -441 248 446 209 427 184 curveto -405 156 307 137 249 128 curveto +newpath 487 285 moveto +504 274 525 257 536 236 curveto +545 215 549 202 536 184 curveto +513 155 414 136 356 127 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 249 125 moveto -239 126 lineto -248 131 lineto +newpath 356 124 moveto +346 126 lineto +356 130 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 249 125 moveto -239 126 lineto -248 131 lineto +newpath 356 124 moveto +346 126 lineto +356 130 lineto closepath stroke end grestore % cic_proof_checking -> cic -newpath 470 361 moveto -463 351 455 339 448 328 curveto +newpath 466 360 moveto +465 352 465 343 464 334 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 451 326 moveto -442 320 lineto -445 330 lineto +newpath 468 334 moveto +464 324 lineto +461 334 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 451 326 moveto -442 320 lineto -445 330 lineto +newpath 468 334 moveto +464 324 lineto +461 334 lineto closepath stroke end grestore % getter gsave 10 dict begin -318 298 42 25 ellipse_path +301 298 42 25 ellipse_path stroke gsave 10 dict begin -290 290 moveto +273 290 moveto (getter) [12 10.56 6.72 6.72 10.56 7.92] xshow @@ -738,53 +739,53 @@ end grestore end grestore % cic_proof_checking -> getter -newpath 442 363 moveto -416 350 384 333 359 320 curveto +newpath 423 362 moveto +398 349 367 332 342 320 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 360 317 moveto -350 315 lineto -357 323 lineto +newpath 343 317 moveto +333 315 lineto +340 323 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 360 317 moveto -350 315 lineto -357 323 lineto +newpath 343 317 moveto +333 315 lineto +340 323 lineto closepath stroke end grestore % getter -> urimanager -newpath 326 273 moveto -329 264 332 254 336 245 curveto +newpath 332 280 moveto +354 268 384 250 409 237 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 339 246 moveto -339 235 lineto -333 244 lineto +newpath 411 240 moveto +418 232 lineto +408 234 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 339 246 moveto -339 235 lineto -333 244 lineto +newpath 411 240 moveto +418 232 lineto +408 234 lineto closepath stroke end grestore % registry gsave 10 dict begin -205 210 52 25 ellipse_path +186 210 52 25 ellipse_path stroke gsave 10 dict begin -167 202 moveto +148 202 moveto (registry) [7.92 10.56 12 6.72 9.36 6.72 7.92 12] xshow @@ -792,32 +793,32 @@ end grestore end grestore % getter -> registry -newpath 292 278 moveto -277 266 258 251 241 238 curveto +newpath 275 278 moveto +260 266 240 251 222 238 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 243 235 moveto -233 232 lineto -239 241 lineto +newpath 224 235 moveto +214 232 lineto +220 241 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 243 235 moveto -233 232 lineto -239 241 lineto +newpath 224 235 moveto +214 232 lineto +220 241 lineto closepath stroke end grestore % metadata gsave 10 dict begin -205 386 58 25 ellipse_path +186 386 58 25 ellipse_path stroke gsave 10 dict begin -161 378 moveto +142 378 moveto (metadata) [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56] xshow @@ -825,55 +826,54 @@ end grestore end grestore % metadata -> cic -newpath 249 369 moveto -257 366 265 363 273 360 curveto -316 343 327 341 370 324 curveto -377 321 384 318 391 314 curveto +newpath 230 369 moveto +238 366 246 363 254 360 curveto +313 340 382 319 424 308 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 393 317 moveto -401 310 lineto -390 310 lineto +newpath 425 311 moveto +434 305 lineto +423 305 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 393 317 moveto -401 310 lineto -390 310 lineto +newpath 425 311 moveto +434 305 lineto +423 305 lineto closepath stroke end grestore % metadata -> getter -newpath 234 364 moveto -249 352 268 337 283 324 curveto +newpath 215 364 moveto +230 352 250 337 267 324 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 285 327 moveto -291 318 lineto -281 321 lineto +newpath 269 327 moveto +275 318 lineto +265 321 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 285 327 moveto -291 318 lineto -281 321 lineto +newpath 269 327 moveto +275 318 lineto +265 321 lineto closepath stroke end grestore % hmysql gsave 10 dict begin -205 298 50 25 ellipse_path +186 298 50 25 ellipse_path stroke gsave 10 dict begin -169 290 moveto +150 290 moveto (hmysql) [12 18.72 12 9.36 12 6.72] xshow @@ -881,53 +881,54 @@ end grestore end grestore % metadata -> hmysql -newpath 205 360 moveto -205 352 205 343 205 334 curveto +newpath 186 360 moveto +186 352 186 343 186 334 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 209 334 moveto -205 324 lineto -202 334 lineto +newpath 190 334 moveto +186 324 lineto +183 334 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 209 334 moveto -205 324 lineto -202 334 lineto +newpath 190 334 moveto +186 324 lineto +183 334 lineto closepath stroke end grestore % whelp -> metadata -newpath 205 536 moveto -205 506 205 456 205 422 curveto +newpath 251 536 moveto +250 512 245 476 233 448 curveto +228 437 222 427 215 418 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 209 422 moveto -205 412 lineto -202 422 lineto +newpath 218 416 moveto +209 410 lineto +212 420 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 209 422 moveto -205 412 lineto -202 422 lineto +newpath 218 416 moveto +209 410 lineto +212 420 lineto closepath stroke end grestore % extlib gsave 10 dict begin -205 34 42 25 ellipse_path +312 34 42 25 ellipse_path stroke gsave 10 dict begin -177 26 moveto +284 26 moveto (extlib) [10.56 12 6.72 6.72 6.72 12] xshow @@ -936,10 +937,10 @@ end grestore % hgdome gsave 10 dict begin -79 210 54 25 ellipse_path +312 210 54 25 ellipse_path stroke gsave 10 dict begin -39 202 moveto +272 202 moveto (hgdome) [12 12 12 12 18.72 10.56] xshow @@ -947,135 +948,133 @@ end grestore end grestore % hgdome -> xml -newpath 110 189 moveto -128 176 152 159 172 146 curveto +newpath 312 184 moveto +312 176 312 167 312 158 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 174 149 moveto -180 140 lineto -170 143 lineto +newpath 316 158 moveto +312 148 lineto +309 158 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 174 149 moveto -180 140 lineto -170 143 lineto +newpath 316 158 moveto +312 148 lineto +309 158 lineto closepath stroke end grestore % hmysql -> registry -newpath 205 272 moveto -205 264 205 255 205 246 curveto +newpath 186 272 moveto +186 264 186 255 186 246 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 209 246 moveto -205 236 lineto -202 246 lineto +newpath 190 246 moveto +186 236 lineto +183 246 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 209 246 moveto -205 236 lineto -202 246 lineto +newpath 190 246 moveto +186 236 lineto +183 246 lineto closepath stroke end grestore % registry -> xml -newpath 205 184 moveto -205 176 205 167 205 158 curveto +newpath 216 189 moveto +235 176 260 159 279 145 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 209 158 moveto -205 148 lineto -202 158 lineto +newpath 281 148 moveto +287 139 lineto +277 142 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 209 158 moveto -205 148 lineto -202 158 lineto +newpath 281 148 moveto +287 139 lineto +277 142 lineto closepath stroke end grestore % xml -> extlib -newpath 205 96 moveto -205 88 205 79 205 70 curveto +newpath 312 96 moveto +312 88 312 79 312 70 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 209 70 moveto -205 60 lineto -202 70 lineto +newpath 316 70 moveto +312 60 lineto +309 70 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 209 70 moveto -205 60 lineto -202 70 lineto +newpath 316 70 moveto +312 60 lineto +309 70 lineto closepath stroke end grestore -% DrawGraph +% DependencyAnalyzer gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 128 404 moveto -0 404 lineto -0 368 lineto -128 368 lineto +newpath 224 492 moveto +0 492 lineto +0 456 lineto +224 456 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 128 404 moveto -0 404 lineto -0 368 lineto -128 368 lineto +newpath 224 492 moveto +0 492 lineto +0 456 lineto +224 456 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -7 378 moveto -(DrawGraph) -[17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12] +8 466 moveto +(DependencyAnalyzer) +[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92] xshow end grestore end grestore -% DrawGraph -> getter -newpath 113 368 moveto -121 365 129 362 137 360 curveto -193 342 209 345 265 324 curveto -269 322 272 321 276 319 curveto +% DependencyAnalyzer -> metadata +newpath 127 456 moveto +136 445 148 431 159 418 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 277 322 moveto -285 315 lineto -274 316 lineto +newpath 162 420 moveto +166 410 lineto +157 415 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 277 322 moveto -285 315 lineto -274 316 lineto +newpath 162 420 moveto +166 410 lineto +157 415 lineto closepath stroke end grestore @@ -1085,22 +1084,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 358 404 moveto -282 404 lineto -282 368 lineto -358 368 lineto +newpath 339 404 moveto +263 404 lineto +263 368 lineto +339 368 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 358 404 moveto -282 404 lineto -282 368 lineto -358 368 lineto +newpath 339 404 moveto +263 404 lineto +263 368 lineto +339 368 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -290 378 moveto +271 378 moveto (Getter) [17.28 10.56 6.72 6.72 10.56 7.92] xshow @@ -1108,22 +1107,22 @@ end grestore end grestore % Getter -> getter -newpath 320 368 moveto -320 358 319 346 319 334 curveto +newpath 301 368 moveto +301 358 301 346 301 334 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 323 334 moveto -319 324 lineto -316 334 lineto +newpath 305 334 moveto +301 324 lineto +298 334 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 323 334 moveto -319 324 lineto -316 334 lineto +newpath 305 334 moveto +301 324 lineto +298 334 lineto closepath stroke end grestore @@ -1133,22 +1132,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 319 756 moveto -241 756 lineto -241 720 lineto -319 720 lineto +newpath 451 836 moveto +373 836 lineto +373 800 lineto +451 800 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 319 756 moveto -241 756 lineto -241 720 lineto -319 720 lineto +newpath 451 836 moveto +373 836 lineto +373 800 lineto +451 800 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -248 730 moveto +380 810 moveto (Matita) [21.36 10.56 6.72 6.72 6.72 10.56] xshow @@ -1156,43 +1155,65 @@ end grestore end grestore % Matita -> cic_disambiguation -newpath 300 720 moveto -313 709 328 695 342 682 curveto +newpath 414 800 moveto +416 773 420 721 423 686 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 345 684 moveto -350 675 lineto -340 679 lineto +newpath 426 686 moveto +424 676 lineto +420 686 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 345 684 moveto -350 675 lineto -340 679 lineto +newpath 426 686 moveto +424 676 lineto +420 686 lineto closepath stroke end grestore -% Matita -> tactics -newpath 256 720 moveto -240 708 219 691 200 677 curveto +% Matita -> grafite +newpath 451 811 moveto +496 802 571 785 633 764 curveto +637 762 641 761 644 759 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 202 674 moveto -192 671 lineto -198 680 lineto +newpath 646 762 moveto +654 755 lineto +643 755 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 202 674 moveto -192 671 lineto -198 680 lineto +newpath 646 762 moveto +654 755 lineto +643 755 lineto +closepath +stroke +end grestore + +% Matita -> paramodulation +newpath 382 800 moveto +366 790 345 777 327 766 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 328 763 moveto +318 761 lineto +325 769 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 328 763 moveto +318 761 lineto +325 769 lineto closepath stroke end grestore @@ -1202,22 +1223,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 710 492 moveto -560 492 lineto -560 456 lineto -710 456 lineto +newpath 440 492 moveto +290 492 lineto +290 456 lineto +440 456 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 710 492 moveto -560 492 lineto -560 456 lineto -710 456 lineto +newpath 440 492 moveto +290 492 lineto +290 456 lineto +440 456 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -568 466 moveto +298 466 moveto (ProofChecker) [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92] xshow @@ -1225,22 +1246,22 @@ end grestore end grestore % ProofChecker -> cic_proof_checking -newpath 605 456 moveto -585 445 559 428 536 415 curveto +newpath 386 456 moveto +400 445 416 430 431 417 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 537 412 moveto -527 410 lineto -534 418 lineto +newpath 433 420 moveto +439 411 lineto +429 414 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 537 412 moveto -527 410 lineto -534 418 lineto +newpath 433 420 moveto +439 411 lineto +429 414 lineto closepath stroke end grestore @@ -1250,66 +1271,45 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 579 756 moveto -493 756 lineto -493 720 lineto -579 720 lineto +newpath 624 756 moveto +538 756 lineto +538 720 lineto +624 720 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 579 756 moveto -493 756 lineto -493 720 lineto -579 720 lineto +newpath 624 756 moveto +538 756 lineto +538 720 lineto +624 720 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -500 730 moveto +545 730 moveto (Uwobo) [17.28 17.28 12 12 12] xshow end grestore end grestore -% Uwobo -> acic_content -newpath 536 720 moveto -536 692 536 635 536 598 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 540 598 moveto -536 588 lineto -533 598 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 540 598 moveto -536 588 lineto -533 598 lineto -closepath -stroke -end grestore - % Uwobo -> content_pres -newpath 558 720 moveto -572 709 590 694 606 681 curveto +newpath 591 720 moveto +597 710 605 696 612 684 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 609 683 moveto -614 674 lineto -604 678 lineto +newpath 615 685 moveto +617 675 lineto +609 682 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 609 683 moveto -614 674 lineto -604 678 lineto +newpath 615 685 moveto +617 675 lineto +609 682 lineto closepath stroke end grestore @@ -1319,22 +1319,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 417 756 moveto -337 756 lineto -337 720 lineto -417 720 lineto +newpath 520 756 moveto +440 756 lineto +440 720 lineto +520 720 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 417 756 moveto -337 756 lineto -337 720 lineto -417 720 lineto +newpath 520 756 moveto +440 756 lineto +440 720 lineto +520 720 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -344 730 moveto +447 730 moveto (Whelp) [22.56 12 10.56 6.72 12] xshow @@ -1342,45 +1342,43 @@ end grestore end grestore % Whelp -> cic_disambiguation -newpath 377 720 moveto -377 710 377 698 377 686 curveto +newpath 469 720 moveto +463 710 454 696 447 684 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 381 686 moveto -377 676 lineto -374 686 lineto +newpath 450 682 moveto +442 675 lineto +444 685 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 381 686 moveto -377 676 lineto -374 686 lineto +newpath 450 682 moveto +442 675 lineto +444 685 lineto closepath stroke end grestore -% Whelp -> whelp -newpath 343 720 moveto -338 717 333 714 328 712 curveto -296 695 282 701 258 676 curveto -237 653 223 621 214 597 curveto +% Whelp -> content_pres +newpath 511 720 moveto +532 708 560 691 584 677 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 217 596 moveto -211 587 lineto -211 598 lineto +newpath 586 680 moveto +593 672 lineto +583 674 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 217 596 moveto -211 587 lineto -211 598 lineto +newpath 586 680 moveto +593 672 lineto +583 674 lineto closepath stroke end grestore diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps index 99821b753..27ef6164f 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 1160 973 +%%BoundingBox: 35 35 1256 973 %%EndComments save %%BeginProlog @@ -230,10 +230,10 @@ def %%EndSetup %%Page: 1 1 -%%PageBoundingBox: 36 36 1160 973 +%%PageBoundingBox: 36 36 1256 973 %%PageOrientation: Portrait gsave -35 35 1125 938 boxprim clip newpath +35 35 1221 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 686 488 moveto -1115 488 lineto -1115 856 lineto -686 856 lineto +newpath 782 488 moveto +1211 488 lineto +1211 856 lineto +782 856 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 686 488 moveto -1115 488 lineto -1115 856 lineto -686 856 lineto +newpath 782 488 moveto +1211 488 lineto +1211 856 lineto +782 856 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -694 498 moveto +790 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 198 612 moveto -448 612 lineto -448 892 lineto -198 892 lineto +newpath 294 612 moveto +544 612 lineto +544 892 lineto +294 892 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 198 612 moveto -448 612 lineto -448 892 lineto -198 892 lineto +newpath 294 612 moveto +544 612 lineto +544 892 lineto +294 892 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -206 866 moveto +302 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 304 208 moveto -678 208 lineto -678 592 lineto -304 592 lineto +newpath 400 208 moveto +774 208 lineto +774 592 lineto +400 592 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 304 208 moveto -678 208 lineto -678 592 lineto -304 592 lineto +newpath 400 208 moveto +774 208 lineto +774 592 lineto +400 592 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -311 218 moveto +407 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 686 16 moveto -974 16 lineto -974 400 lineto -686 400 lineto +newpath 782 16 moveto +1070 16 lineto +1070 400 lineto +782 400 lineto closepath fill 0.000 0.000 1.000 sethsbcolor -newpath 686 16 moveto -974 16 lineto -974 400 lineto -686 400 lineto +newpath 782 16 moveto +1070 16 lineto +1070 400 lineto +782 400 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 sethsbcolor -888 26 moveto +984 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 -804 646 75 25 ellipse_path +900 646 75 25 ellipse_path stroke gsave 10 dict begin -743 638 moveto +839 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 -777 558 54 25 ellipse_path +873 558 54 25 ellipse_path stroke gsave 10 dict begin -737 550 moveto +833 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 796 621 moveto -793 612 790 602 788 593 curveto +newpath 892 621 moveto +889 612 886 602 884 593 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 791 592 moveto -785 583 lineto -785 594 lineto +newpath 887 592 moveto +881 583 lineto +881 594 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 791 592 moveto -785 583 lineto -785 594 lineto +newpath 887 592 moveto +881 583 lineto +881 594 lineto closepath stroke end grestore % cic_proof_checking gsave 10 dict begin -559 454 110 25 ellipse_path +655 454 110 25 ellipse_path stroke gsave 10 dict begin -463 446 moveto +559 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 752 535 moveto -734 520 708 500 682 488 curveto -672 483 661 479 650 475 curveto +newpath 848 535 moveto +830 520 804 500 778 488 curveto +768 483 757 479 746 475 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 651 472 moveto -640 472 lineto -649 478 lineto +newpath 747 472 moveto +736 472 lineto +745 478 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 651 472 moveto -640 472 lineto -649 478 lineto +newpath 747 472 moveto +736 472 lineto +745 478 lineto closepath stroke end grestore % cic_disambiguation gsave 10 dict begin -804 734 109 25 ellipse_path +900 734 109 25 ellipse_path stroke gsave 10 dict begin -709 726 moveto +805 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 804 708 moveto -804 700 804 691 804 682 curveto +newpath 900 708 moveto +900 700 900 691 900 682 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 808 682 moveto -804 672 lineto -801 682 lineto +newpath 904 682 moveto +900 672 lineto +897 682 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 808 682 moveto -804 672 lineto -801 682 lineto +newpath 904 682 moveto +900 672 lineto +897 682 lineto closepath stroke end grestore % cic_unification gsave 10 dict begin -353 646 86 25 ellipse_path +449 646 86 25 ellipse_path stroke gsave 10 dict begin -281 638 moveto +377 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 720 718 moveto -638 702 517 678 436 662 curveto +newpath 816 718 moveto +734 702 613 678 532 662 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 436 659 moveto -426 660 lineto -435 665 lineto +newpath 532 659 moveto +522 660 lineto +531 665 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 436 659 moveto -426 660 lineto -435 665 lineto +newpath 532 659 moveto +522 660 lineto +531 665 lineto closepath stroke end grestore % whelp gsave 10 dict begin -371 558 44 25 ellipse_path +467 558 44 25 ellipse_path stroke gsave 10 dict begin -341 550 moveto +437 550 moveto (whelp) [17.28 12 10.56 6.72 12] xshow @@ -502,32 +502,32 @@ end grestore end grestore % cic_disambiguation -> whelp -newpath 749 712 moveto -663 676 498 609 417 577 curveto +newpath 845 712 moveto +759 676 594 609 513 577 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 419 574 moveto -408 573 lineto -416 580 lineto +newpath 515 574 moveto +504 573 lineto +512 580 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 419 574 moveto -408 573 lineto -416 580 lineto +newpath 515 574 moveto +504 573 lineto +512 580 lineto closepath stroke end grestore % content_pres gsave 10 dict begin -1009 734 76 25 ellipse_path +1105 734 76 25 ellipse_path stroke gsave 10 dict begin -947 726 moveto +1043 726 moveto (content_pres) [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36] xshow @@ -535,32 +535,32 @@ end grestore end grestore % content_pres -> acic_content -newpath 962 714 moveto -931 701 892 684 860 670 curveto +newpath 1058 714 moveto +1027 701 988 684 956 670 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 862 667 moveto -851 666 lineto -859 673 lineto +newpath 958 667 moveto +947 666 lineto +955 673 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 862 667 moveto -851 666 lineto -859 673 lineto +newpath 958 667 moveto +947 666 lineto +955 673 lineto closepath stroke end grestore % utf8_macros gsave 10 dict begin -890 366 75 25 ellipse_path +986 366 75 25 ellipse_path stroke gsave 10 dict begin -829 358 moveto +925 358 moveto (utf8_macros) [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36] xshow @@ -568,32 +568,32 @@ end grestore end grestore % content_pres -> utf8_macros -newpath 1001 708 moveto -980 644 925 475 901 401 curveto +newpath 1097 708 moveto +1076 644 1021 475 997 401 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 904 400 moveto -898 391 lineto -898 402 lineto +newpath 1000 400 moveto +994 391 lineto +994 402 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 904 400 moveto -898 391 lineto -898 402 lineto +newpath 1000 400 moveto +994 391 lineto +994 402 lineto closepath stroke end grestore % grafite gsave 10 dict begin -876 822 46 25 ellipse_path +972 822 46 25 ellipse_path stroke gsave 10 dict begin -844 814 moveto +940 814 moveto (grafite) [12 7.92 10.56 7.92 6.72 6.72 10.56] xshow @@ -601,54 +601,54 @@ end grestore end grestore % grafite -> content_pres -newpath 906 802 moveto -923 791 946 776 966 763 curveto +newpath 1002 802 moveto +1019 791 1042 776 1062 763 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 968 766 moveto -974 757 lineto -964 760 lineto +newpath 1064 766 moveto +1070 757 lineto +1060 760 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 968 766 moveto -974 757 lineto -964 760 lineto +newpath 1064 766 moveto +1070 757 lineto +1060 760 lineto closepath stroke end grestore % cic_unification -> cic_proof_checking -newpath 386 622 moveto -399 613 413 602 425 592 curveto -464 558 504 516 530 486 curveto +newpath 482 622 moveto +495 613 509 602 521 592 curveto +560 558 600 516 626 486 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 532 489 moveto -537 479 lineto -527 484 lineto +newpath 628 489 moveto +633 479 lineto +623 484 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 532 489 moveto -537 479 lineto -527 484 lineto +newpath 628 489 moveto +633 479 lineto +623 484 lineto closepath stroke end grestore % tactics gsave 10 dict begin -347 734 45 25 ellipse_path +443 734 45 25 ellipse_path stroke gsave 10 dict begin -316 726 moveto +412 726 moveto (tactics) [6.72 10.56 10.56 6.72 6.72 10.56 9.36] xshow @@ -656,56 +656,56 @@ end grestore end grestore % tactics -> cic_unification -newpath 349 708 moveto -350 700 350 691 351 682 curveto +newpath 445 708 moveto +446 700 446 691 447 682 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 355 682 moveto -351 672 lineto -348 682 lineto +newpath 451 682 moveto +447 672 lineto +444 682 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 355 682 moveto -351 672 lineto -348 682 lineto +newpath 451 682 moveto +447 672 lineto +444 682 lineto closepath stroke end grestore % tactics -> whelp -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 +newpath 406 719 moveto +387 708 364 693 353 672 curveto +341 648 337 633 353 612 curveto +373 586 394 606 422 592 curveto +426 590 430 588 433 585 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 339 588 moveto -346 580 lineto -336 582 lineto +newpath 435 588 moveto +442 580 lineto +432 582 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 339 588 moveto -346 580 lineto -336 582 lineto +newpath 435 588 moveto +442 580 lineto +432 582 lineto closepath stroke end grestore % paramodulation gsave 10 dict begin -347 822 90 25 ellipse_path +443 822 90 25 ellipse_path stroke gsave 10 dict begin -271 814 moveto +367 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 347 796 moveto -347 788 347 779 347 770 curveto +newpath 443 796 moveto +443 788 443 779 443 770 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 351 770 moveto -347 760 lineto -344 770 lineto +newpath 447 770 moveto +443 760 lineto +440 770 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 351 770 moveto -347 760 lineto -344 770 lineto +newpath 447 770 moveto +443 760 lineto +440 770 lineto closepath stroke end grestore % cic gsave 10 dict begin -466 366 28 25 ellipse_path +562 366 28 25 ellipse_path stroke gsave 10 dict begin -452 358 moveto +548 358 moveto (cic) [10.56 6.72 10.56] xshow @@ -747,10 +747,10 @@ end grestore % urimanager gsave 10 dict begin -561 278 70 25 ellipse_path +657 278 70 25 ellipse_path stroke gsave 10 dict begin -505 270 moveto +601 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 486 347 moveto -498 336 514 322 528 309 curveto +newpath 582 347 moveto +594 336 610 322 624 309 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 530 312 moveto -535 302 lineto -525 307 lineto +newpath 626 312 moveto +631 302 lineto +621 307 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 530 312 moveto -535 302 lineto -525 307 lineto +newpath 626 312 moveto +631 302 lineto +621 307 lineto closepath stroke end grestore % xml gsave 10 dict begin -747 174 33 25 ellipse_path +843 174 33 25 ellipse_path stroke gsave 10 dict begin -728 166 moveto +824 166 moveto (xml) [12 18.72 6.72] xshow @@ -791,54 +791,54 @@ end grestore end grestore % cic -> xml -newpath 460 341 moveto -453 306 447 243 481 208 curveto -496 192 631 181 703 177 curveto +newpath 556 341 moveto +549 306 543 243 577 208 curveto +592 192 727 181 799 177 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 703 180 moveto -713 176 lineto -703 174 lineto +newpath 799 180 moveto +809 176 lineto +799 174 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 703 180 moveto -713 176 lineto -703 174 lineto +newpath 799 180 moveto +809 176 lineto +799 174 lineto closepath stroke end grestore % cic_proof_checking -> cic -newpath 533 429 moveto -521 417 506 404 494 392 curveto +newpath 629 429 moveto +617 417 602 404 590 392 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 496 389 moveto -486 385 lineto -491 394 lineto +newpath 592 389 moveto +582 385 lineto +587 394 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 496 389 moveto -486 385 lineto -491 394 lineto +newpath 592 389 moveto +582 385 lineto +587 394 lineto closepath stroke end grestore % getter gsave 10 dict begin -559 366 42 25 ellipse_path +655 366 42 25 ellipse_path stroke gsave 10 dict begin -531 358 moveto +627 358 moveto (getter) [12 10.56 6.72 6.72 10.56 7.92] xshow @@ -846,53 +846,53 @@ end grestore end grestore % cic_proof_checking -> getter -newpath 559 428 moveto -559 420 559 411 559 402 curveto +newpath 655 428 moveto +655 420 655 411 655 402 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 563 402 moveto -559 392 lineto -556 402 lineto +newpath 659 402 moveto +655 392 lineto +652 402 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 563 402 moveto -559 392 lineto -556 402 lineto +newpath 659 402 moveto +655 392 lineto +652 402 lineto closepath stroke end grestore % getter -> urimanager -newpath 560 340 moveto -560 332 560 323 560 314 curveto +newpath 656 340 moveto +656 332 656 323 656 314 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 564 314 moveto -560 304 lineto -557 314 lineto +newpath 660 314 moveto +656 304 lineto +653 314 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 564 314 moveto -560 304 lineto -557 314 lineto +newpath 660 314 moveto +656 304 lineto +653 314 lineto closepath stroke end grestore % registry gsave 10 dict begin -747 278 52 25 ellipse_path +843 278 52 25 ellipse_path stroke gsave 10 dict begin -709 270 moveto +805 270 moveto (registry) [7.92 10.56 12 6.72 9.36 6.72 7.92 12] xshow @@ -900,32 +900,32 @@ end grestore end grestore % getter -> registry -newpath 593 350 moveto -623 336 667 316 700 300 curveto +newpath 689 350 moveto +719 336 763 316 796 300 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 701 303 moveto -709 296 lineto -698 297 lineto +newpath 797 303 moveto +805 296 lineto +794 297 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 701 303 moveto -709 296 lineto -698 297 lineto +newpath 797 303 moveto +805 296 lineto +794 297 lineto closepath stroke end grestore % metadata gsave 10 dict begin -371 454 58 25 ellipse_path +467 454 58 25 ellipse_path stroke gsave 10 dict begin -327 446 moveto +423 446 moveto (metadata) [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56] xshow @@ -933,54 +933,54 @@ end grestore end grestore % metadata -> cic -newpath 396 431 moveto -409 419 425 404 438 392 curveto +newpath 492 431 moveto +505 419 521 404 534 392 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 441 394 moveto -446 385 lineto -436 389 lineto +newpath 537 394 moveto +542 385 lineto +532 389 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 441 394 moveto -446 385 lineto -436 389 lineto +newpath 537 394 moveto +542 385 lineto +532 389 lineto closepath stroke end grestore % metadata -> getter -newpath 415 437 moveto -447 424 488 408 504 400 curveto -510 397 516 394 521 390 curveto +newpath 511 437 moveto +543 424 584 408 600 400 curveto +606 397 612 394 617 390 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 523 393 moveto -530 385 lineto -520 387 lineto +newpath 619 393 moveto +626 385 lineto +616 387 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 523 393 moveto -530 385 lineto -520 387 lineto +newpath 619 393 moveto +626 385 lineto +616 387 lineto closepath stroke end grestore % hmysql gsave 10 dict begin -745 366 50 25 ellipse_path +841 366 50 25 ellipse_path stroke gsave 10 dict begin -709 358 moveto +805 358 moveto (hmysql) [12 18.72 12 9.36 12 6.72] xshow @@ -988,55 +988,55 @@ end grestore end grestore % metadata -> hmysql -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 +newpath 509 436 moveto +517 433 526 430 535 428 curveto +641 402 675 432 778 400 curveto +786 398 793 394 800 391 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 706 394 moveto -713 386 lineto -703 388 lineto +newpath 802 394 moveto +809 386 lineto +799 388 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 706 394 moveto -713 386 lineto -703 388 lineto +newpath 802 394 moveto +809 386 lineto +799 388 lineto closepath stroke end grestore % whelp -> metadata -newpath 371 532 moveto -371 519 371 504 371 490 curveto +newpath 467 532 moveto +467 519 467 504 467 490 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 375 490 moveto -371 480 lineto -368 490 lineto +newpath 471 490 moveto +467 480 lineto +464 490 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 375 490 moveto -371 480 lineto -368 490 lineto +newpath 471 490 moveto +467 480 lineto +464 490 lineto closepath stroke end grestore % extlib gsave 10 dict begin -747 86 42 25 ellipse_path +843 86 42 25 ellipse_path stroke gsave 10 dict begin -719 78 moveto +815 78 moveto (extlib) [10.56 12 6.72 6.72 6.72 12] xshow @@ -1045,10 +1045,10 @@ end grestore % hgdome gsave 10 dict begin -873 278 54 25 ellipse_path +969 278 54 25 ellipse_path stroke gsave 10 dict begin -833 270 moveto +929 270 moveto (hgdome) [12 12 12 12 18.72 10.56] xshow @@ -1056,136 +1056,136 @@ end grestore end grestore % hgdome -> xml -newpath 855 254 moveto -843 239 826 221 809 208 curveto -802 202 793 197 785 192 curveto +newpath 951 254 moveto +939 239 922 221 905 208 curveto +898 202 889 197 881 192 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 786 189 moveto -776 187 lineto -783 195 lineto +newpath 882 189 moveto +872 187 lineto +879 195 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 786 189 moveto -776 187 lineto -783 195 lineto +newpath 882 189 moveto +872 187 lineto +879 195 lineto closepath stroke end grestore % hmysql -> registry -newpath 746 340 moveto -746 332 746 323 746 314 curveto +newpath 842 340 moveto +842 332 842 323 842 314 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 750 314 moveto -746 304 lineto -743 314 lineto +newpath 846 314 moveto +842 304 lineto +839 314 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 750 314 moveto -746 304 lineto -743 314 lineto +newpath 846 314 moveto +842 304 lineto +839 314 lineto closepath stroke end grestore % registry -> xml -newpath 747 252 moveto -747 239 747 224 747 210 curveto +newpath 843 252 moveto +843 239 843 224 843 210 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 751 210 moveto -747 200 lineto -744 210 lineto +newpath 847 210 moveto +843 200 lineto +840 210 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 751 210 moveto -747 200 lineto -744 210 lineto +newpath 847 210 moveto +843 200 lineto +840 210 lineto closepath stroke end grestore % xml -> extlib -newpath 747 148 moveto -747 140 747 131 747 122 curveto +newpath 843 148 moveto +843 140 843 131 843 122 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 751 122 moveto -747 112 lineto -744 122 lineto +newpath 847 122 moveto +843 112 lineto +840 122 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 751 122 moveto -747 112 lineto -744 122 lineto +newpath 847 122 moveto +843 112 lineto +840 122 lineto closepath stroke end grestore -% DrawGraph +% DependencyAnalyzer gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 128 576 moveto +newpath 224 576 moveto 0 576 lineto 0 540 lineto -128 540 lineto +224 540 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 128 576 moveto +newpath 224 576 moveto 0 576 lineto 0 540 lineto -128 540 lineto +224 540 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -7 550 moveto -(DrawGraph) -[17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12] +8 550 moveto +(DependencyAnalyzer) +[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92] xshow end grestore end grestore -% 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 +% DependencyAnalyzer -> metadata +newpath 136 540 moveto +159 523 197 498 233 488 curveto +271 477 371 488 408 480 curveto +412 479 415 478 419 477 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 324 480 moveto -332 473 lineto -321 474 lineto +newpath 420 480 moveto +428 473 lineto +417 474 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 324 480 moveto -332 473 lineto -321 474 lineto +newpath 420 480 moveto +428 473 lineto +417 474 lineto closepath stroke end grestore @@ -1195,22 +1195,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 294 472 moveto -218 472 lineto -218 436 lineto -294 436 lineto +newpath 390 472 moveto +314 472 lineto +314 436 lineto +390 436 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 294 472 moveto -218 472 lineto -218 436 lineto -294 436 lineto +newpath 390 472 moveto +314 472 lineto +314 436 lineto +390 436 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -226 446 moveto +322 446 moveto (Getter) [17.28 10.56 6.72 6.72 10.56 7.92] xshow @@ -1218,24 +1218,24 @@ end grestore end grestore % Getter -> getter -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 +newpath 379 436 moveto +384 433 390 430 396 428 curveto +483 397 514 430 600 400 curveto +607 397 613 394 619 391 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 525 394 moveto -532 386 lineto -522 388 lineto +newpath 621 394 moveto +628 386 lineto +618 388 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 525 394 moveto -532 386 lineto -522 388 lineto +newpath 621 394 moveto +628 386 lineto +618 388 lineto closepath stroke end grestore @@ -1245,22 +1245,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 603 936 moveto -525 936 lineto -525 900 lineto -603 900 lineto +newpath 601 936 moveto +523 936 lineto +523 900 lineto +601 900 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 603 936 moveto -525 936 lineto -525 900 lineto -603 900 lineto +newpath 601 936 moveto +523 936 lineto +523 900 lineto +601 900 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -532 910 moveto +530 910 moveto (Matita) [21.36 10.56 6.72 6.72 6.72 10.56] xshow @@ -1268,67 +1268,67 @@ end grestore end grestore % Matita -> cic_disambiguation -newpath 561 900 moveto -559 873 558 825 583 796 curveto -588 790 659 771 719 756 curveto +newpath 559 900 moveto +557 873 556 824 581 796 curveto +646 725 696 745 782 740 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 720 759 moveto -729 753 lineto -718 753 lineto +newpath 782 743 moveto +792 739 lineto +782 737 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 720 759 moveto -729 753 lineto -718 753 lineto +newpath 782 743 moveto +792 739 lineto +782 737 lineto closepath stroke end grestore % Matita -> grafite -newpath 603 916 moveto -672 912 810 903 829 892 curveto -843 883 854 870 861 856 curveto +newpath 601 917 moveto +689 915 898 908 925 892 curveto +940 884 950 870 958 856 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 864 857 moveto -866 847 lineto -858 854 lineto +newpath 961 858 moveto +962 847 lineto +955 855 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 864 857 moveto -866 847 lineto -858 854 lineto +newpath 961 858 moveto +962 847 lineto +955 855 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 +newpath 523 913 moveto +496 909 463 902 453 892 curveto +444 883 441 870 440 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 +newpath 444 858 moveto +440 848 lineto +437 858 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 348 858 moveto -344 848 lineto -341 858 lineto +newpath 444 858 moveto +440 848 lineto +437 858 lineto closepath stroke end grestore @@ -1338,22 +1338,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 296 576 moveto -146 576 lineto -146 540 lineto -296 540 lineto +newpath 392 576 moveto +242 576 lineto +242 540 lineto +392 540 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 296 576 moveto -146 576 lineto -146 540 lineto -296 540 lineto +newpath 392 576 moveto +242 576 lineto +242 540 lineto +392 540 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -154 550 moveto +250 550 moveto (ProofChecker) [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92] xshow @@ -1361,24 +1361,24 @@ end grestore end grestore % ProofChecker -> cic_proof_checking -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 +newpath 331 540 moveto +346 523 369 498 396 488 curveto +425 476 505 484 535 480 curveto +546 478 557 476 568 474 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 473 477 moveto -482 472 lineto -472 471 lineto +newpath 569 477 moveto +578 472 lineto +568 471 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 473 477 moveto -482 472 lineto -472 471 lineto +newpath 569 477 moveto +578 472 lineto +568 471 lineto closepath stroke end grestore @@ -1388,22 +1388,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 678 840 moveto -592 840 lineto -592 804 lineto -678 804 lineto +newpath 774 840 moveto +688 840 lineto +688 804 lineto +774 804 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 678 840 moveto -592 840 lineto -592 804 lineto -678 804 lineto +newpath 774 840 moveto +688 840 lineto +688 804 lineto +774 804 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -599 814 moveto +695 814 moveto (Uwobo) [17.28 17.28 12 12 12] xshow @@ -1411,24 +1411,24 @@ end grestore end grestore % Uwobo -> content_pres -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 +newpath 760 804 moveto +766 801 772 798 778 796 curveto +881 761 914 783 1019 760 curveto +1026 759 1032 757 1039 755 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 944 758 moveto -953 752 lineto -942 752 lineto +newpath 1040 758 moveto +1049 752 lineto +1038 752 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 944 758 moveto -953 752 lineto -942 752 lineto +newpath 1040 758 moveto +1049 752 lineto +1038 752 lineto closepath stroke end grestore @@ -1438,22 +1438,22 @@ gsave 10 dict begin filled 0.584 0.220 0.933 nodecolor 0.584 0.220 0.933 nodecolor -newpath 536 840 moveto -456 840 lineto -456 804 lineto -536 804 lineto +newpath 670 840 moveto +590 840 lineto +590 804 lineto +670 804 lineto closepath fill 0.584 0.220 0.933 nodecolor -newpath 536 840 moveto -456 840 lineto -456 804 lineto -536 804 lineto +newpath 670 840 moveto +590 840 lineto +590 804 lineto +670 804 lineto closepath stroke gsave 10 dict begin 0.000 0.000 0.000 nodecolor -463 814 moveto +597 814 moveto (Whelp) [22.56 12 10.56 6.72 12] xshow @@ -1461,23 +1461,46 @@ end grestore end grestore % Whelp -> cic_disambiguation -newpath 530 804 moveto -536 801 543 798 550 796 curveto -601 777 660 763 708 752 curveto +newpath 662 804 moveto +668 801 673 798 679 796 curveto +722 779 770 764 811 754 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor -newpath 709 755 moveto -718 750 lineto -708 749 lineto +newpath 812 757 moveto +821 752 lineto +811 751 lineto closepath fill 0.000 0.000 0.000 edgecolor -newpath 709 755 moveto -718 750 lineto -708 749 lineto +newpath 812 757 moveto +821 752 lineto +811 751 lineto +closepath +stroke +end grestore + +% Whelp -> content_pres +newpath 660 804 moveto +666 801 673 798 679 796 curveto +825 751 871 790 1019 760 curveto +1026 759 1033 757 1040 755 curveto +stroke +gsave 10 dict begin +solid +1 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1041 758 moveto +1050 752 lineto +1039 752 lineto +closepath +fill +0.000 0.000 0.000 edgecolor +newpath 1041 758 moveto +1050 752 lineto +1039 752 lineto closepath stroke end grestore -- 2.39.2