X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Flibraries.ps;h=2ef6381e4ba6475954ab3b3b46d4609d86065d91;hb=d14cf11a0721e028c0aeb725523975ef520a0d31;hp=e6cbb4d233176d75b56c77ac666ae61e1e20fece;hpb=ffbef6329458347da5805b12c98819cc0ce4ab73;p=helm.git

diff --git a/helm/papers/matita/libraries.ps b/helm/papers/matita/libraries.ps
index e6cbb4d23..2ef6381e4 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 680 885
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 819 801
+%%PageBoundingBox: 36 36 680 885
 %%PageOrientation: Portrait
 gsave
-35 35 784 766 boxprim clip newpath
+35 35 645 850 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
+497 574 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-475 554 moveto
+436 566 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
+432 480 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-447 466 moveto
+392 472 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 480 549 moveto
+472 538 463 525 455 513 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 457 510 moveto
+449 504 lineto
+452 514 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 509 506 moveto
-501 499 lineto
-503 509 lineto
+newpath 457 510 moveto
+449 504 lineto
+452 514 lineto
 closepath
 stroke
 end grestore
 
 %	cic_proof_checking
 gsave 10 dict begin
-487 386 110 25 ellipse_path
+441 386 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-391 378 moveto
+345 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 434 454 moveto
+435 444 436 433 437 422 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 440 422 moveto
+438 412 lineto
+434 422 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 491 422 moveto
-487 412 lineto
-484 422 lineto
+newpath 440 422 moveto
+438 412 lineto
+434 422 lineto
 closepath
 stroke
 end grestore
 
 %	cic_disambiguation
 gsave 10 dict begin
-377 650 109 25 ellipse_path
+318 662 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-282 642 moveto
+223 654 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 365 639 moveto
+390 627 420 612 445 599 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 446 602 moveto
+454 595 lineto
+443 596 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 489 592 moveto
-496 584 lineto
-486 586 lineto
+newpath 446 602 moveto
+454 595 lineto
+443 596 lineto
 closepath
 stroke
 end grestore
 
 %	cic_unification
 gsave 10 dict begin
-355 562 86 25 ellipse_path
+316 574 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-283 554 moveto
+244 566 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 317 636 moveto
+317 628 317 619 317 610 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 321 610 moveto
+317 600 lineto
+314 610 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 367 597 moveto
-362 588 lineto
-361 598 lineto
+newpath 321 610 moveto
+317 600 lineto
+314 610 lineto
 closepath
 stroke
 end grestore
 
 %	whelp
 gsave 10 dict begin
-205 562 44 25 ellipse_path
+164 574 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-175 554 moveto
+134 566 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 276 638 moveto
+254 626 227 610 205 597 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 206 594 moveto
+196 592 lineto
+203 600 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 248 581 moveto
-238 579 lineto
-245 587 lineto
+newpath 206 594 moveto
+196 592 lineto
+203 600 lineto
 closepath
 stroke
 end grestore
 
 %	content_pres
 gsave 10 dict begin
-643 650 76 25 ellipse_path
+523 662 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-581 642 moveto
+461 654 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -430,65 +430,32 @@ end grestore
 end grestore
 
 %	content_pres -> acic_content
-newpath 614 626 moveto
-602 616 586 603 573 593 curveto
+newpath 515 637 moveto
+513 628 510 619 508 610 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 511 609 moveto
+505 600 lineto
+505 611 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 575 590 moveto
-565 586 lineto
-570 595 lineto
-closepath
-stroke
-end grestore
-
-%	utf8_macros
-gsave 10 dict begin
-706 562 75 25 ellipse_path
-stroke
-gsave 10 dict begin
-645 554 moveto
-(utf8_macros)
-[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
-xshow
-end grestore
-end grestore
-
-%	content_pres -> utf8_macros
-newpath 661 625 moveto
-668 616 676 605 682 595 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
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 685 597 moveto
-688 587 lineto
-679 593 lineto
+newpath 511 609 moveto
+505 600 lineto
+505 611 lineto
 closepath
 stroke
 end grestore
 
 %	grafite
 gsave 10 dict begin
-644 738 46 25 ellipse_path
+554 750 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-612 730 moveto
+522 742 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -496,54 +463,54 @@ end grestore
 end grestore
 
 %	grafite -> content_pres
-newpath 644 712 moveto
-644 704 643 695 643 686 curveto
+newpath 545 725 moveto
+542 716 539 706 535 697 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 538 696 moveto
+532 687 lineto
+532 698 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 647 686 moveto
-643 676 lineto
-640 686 lineto
+newpath 538 696 moveto
+532 687 lineto
+532 698 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 323 549 moveto
+330 522 345 479 368 448 curveto
+376 437 387 426 397 417 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 400 419 moveto
+405 410 lineto
+395 414 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 453 420 moveto
-458 411 lineto
-448 415 lineto
+newpath 400 419 moveto
+405 410 lineto
+395 414 lineto
 closepath
 stroke
 end grestore
 
 %	tactics
 gsave 10 dict begin
-165 650 45 25 ellipse_path
+144 662 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-134 642 moveto
+113 654 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -551,53 +518,53 @@ end grestore
 end grestore
 
 %	tactics -> cic_unification
-newpath 201 633 moveto
-228 620 267 603 299 588 curveto
+newpath 178 645 moveto
+202 632 236 615 264 601 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 266 604 moveto
+273 596 lineto
+263 598 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 300 591 moveto
-308 584 lineto
-297 585 lineto
+newpath 266 604 moveto
+273 596 lineto
+263 598 lineto
 closepath
 stroke
 end grestore
 
 %	tactics -> whelp
-newpath 176 625 moveto
-181 616 185 606 190 596 curveto
+newpath 150 637 moveto
+152 628 154 618 156 609 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 159 609 moveto
+158 599 lineto
+153 608 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 193 598 moveto
-194 587 lineto
-187 595 lineto
+newpath 159 609 moveto
+158 599 lineto
+153 608 lineto
 closepath
 stroke
 end grestore
 
 %	paramodulation
 gsave 10 dict begin
-132 738 90 25 ellipse_path
+151 750 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-56 730 moveto
+75 742 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 +572,32 @@ end grestore
 end grestore
 
 %	paramodulation -> tactics
-newpath 142 713 moveto
-145 704 149 694 152 684 curveto
+newpath 149 724 moveto
+148 716 148 707 147 698 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 150 698 moveto
+146 688 lineto
+144 698 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 155 686 moveto
-156 675 lineto
-149 683 lineto
+newpath 150 698 moveto
+146 688 lineto
+144 698 lineto
 closepath
 stroke
 end grestore
 
 %	cic
 gsave 10 dict begin
-427 298 28 25 ellipse_path
+412 298 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-413 290 moveto
+398 290 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -639,10 +606,10 @@ end grestore
 
 %	urimanager
 gsave 10 dict begin
-347 210 70 25 ellipse_path
+332 210 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-291 202 moveto
+276 202 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -650,32 +617,32 @@ end grestore
 end grestore
 
 %	cic -> urimanager
-newpath 409 278 moveto
-399 267 387 254 376 241 curveto
+newpath 394 278 moveto
+384 267 372 254 361 241 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 364 239 moveto
+354 234 lineto
+359 244 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 379 239 moveto
-369 234 lineto
-374 244 lineto
+newpath 364 239 moveto
+354 234 lineto
+359 244 lineto
 closepath
 stroke
 end grestore
 
 %	xml
 gsave 10 dict begin
-205 122 33 25 ellipse_path
+431 122 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-186 114 moveto
+412 114 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -683,54 +650,53 @@ 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 415 272 moveto
+418 242 424 192 427 158 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 430 158 moveto
+428 148 lineto
+424 158 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 249 125 moveto
-239 126 lineto
-248 131 lineto
+newpath 430 158 moveto
+428 148 lineto
+424 158 lineto
 closepath
 stroke
 end grestore
 
 %	cic_proof_checking -> cic
-newpath 470 361 moveto
-463 351 455 339 448 328 curveto
+newpath 433 361 moveto
+430 352 427 342 423 333 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 426 332 moveto
+420 323 lineto
+420 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 451 326 moveto
-442 320 lineto
-445 330 lineto
+newpath 426 332 moveto
+420 323 lineto
+420 334 lineto
 closepath
 stroke
 end grestore
 
 %	getter
 gsave 10 dict begin
-318 298 42 25 ellipse_path
+274 298 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-290 290 moveto
+246 290 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -738,53 +704,53 @@ end grestore
 end grestore
 
 %	cic_proof_checking -> getter
-newpath 442 363 moveto
-416 350 384 333 359 320 curveto
+newpath 396 362 moveto
+371 349 340 332 315 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 316 317 moveto
+306 315 lineto
+313 323 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 360 317 moveto
-350 315 lineto
-357 323 lineto
+newpath 316 317 moveto
+306 315 lineto
+313 323 lineto
 closepath
 stroke
 end grestore
 
 %	getter -> urimanager
-newpath 326 273 moveto
-329 264 332 254 336 245 curveto
+newpath 290 274 moveto
+296 265 304 254 310 244 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 313 245 moveto
+316 235 lineto
+308 241 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 339 246 moveto
-339 235 lineto
-333 244 lineto
+newpath 313 245 moveto
+316 235 lineto
+308 241 lineto
 closepath
 stroke
 end grestore
 
 %	registry
 gsave 10 dict begin
-205 210 52 25 ellipse_path
+190 210 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-167 202 moveto
+152 202 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -792,32 +758,32 @@ end grestore
 end grestore
 
 %	getter -> registry
-newpath 292 278 moveto
-277 266 258 251 241 238 curveto
+newpath 253 276 moveto
+243 265 230 252 219 240 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 222 238 moveto
+212 233 lineto
+217 243 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 243 235 moveto
-233 232 lineto
-239 241 lineto
+newpath 222 238 moveto
+212 233 lineto
+217 243 lineto
 closepath
 stroke
 end grestore
 
 %	metadata
 gsave 10 dict begin
-205 386 58 25 ellipse_path
+159 386 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-161 378 moveto
+115 378 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -825,55 +791,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 203 369 moveto
+211 366 219 363 227 360 curveto
+277 342 337 322 374 310 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 375 313 moveto
+384 307 lineto
+373 307 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 393 317 moveto
-401 310 lineto
-390 310 lineto
+newpath 375 313 moveto
+384 307 lineto
+373 307 lineto
 closepath
 stroke
 end grestore
 
 %	metadata -> getter
-newpath 234 364 moveto
-249 352 268 337 283 324 curveto
+newpath 188 364 moveto
+203 352 223 337 240 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 242 327 moveto
+248 318 lineto
+238 321 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 285 327 moveto
-291 318 lineto
-281 321 lineto
+newpath 242 327 moveto
+248 318 lineto
+238 321 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql
 gsave 10 dict begin
-205 298 50 25 ellipse_path
+161 298 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-169 290 moveto
+125 290 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -881,53 +846,53 @@ end grestore
 end grestore
 
 %	metadata -> hmysql
-newpath 205 360 moveto
-205 352 205 343 205 334 curveto
+newpath 160 360 moveto
+160 352 160 343 160 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 164 334 moveto
+160 324 lineto
+157 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 334 moveto
-205 324 lineto
-202 334 lineto
+newpath 164 334 moveto
+160 324 lineto
+157 334 lineto
 closepath
 stroke
 end grestore
 
 %	whelp -> metadata
-newpath 205 536 moveto
-205 506 205 456 205 422 curveto
+newpath 163 548 moveto
+162 515 161 459 160 422 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 164 422 moveto
+160 412 lineto
+157 422 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 422 moveto
-205 412 lineto
-202 422 lineto
+newpath 164 422 moveto
+160 412 lineto
+157 422 lineto
 closepath
 stroke
 end grestore
 
 %	extlib
 gsave 10 dict begin
-205 34 42 25 ellipse_path
+431 34 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-177 26 moveto
+403 26 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -936,10 +901,10 @@ end grestore
 
 %	hgdome
 gsave 10 dict begin
-79 210 54 25 ellipse_path
+571 210 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-39 202 moveto
+531 202 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -947,135 +912,138 @@ end grestore
 end grestore
 
 %	hgdome -> xml
-newpath 110 189 moveto
-128 176 152 159 172 146 curveto
+newpath 538 189 moveto
+517 176 488 158 466 144 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 468 141 moveto
+458 139 lineto
+465 147 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 174 149 moveto
-180 140 lineto
-170 143 lineto
+newpath 468 141 moveto
+458 139 lineto
+465 147 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql -> registry
-newpath 205 272 moveto
-205 264 205 255 205 246 curveto
+newpath 169 273 moveto
+172 264 175 254 179 245 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 182 246 moveto
+182 235 lineto
+176 244 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 246 moveto
-205 236 lineto
-202 246 lineto
+newpath 182 246 moveto
+182 235 lineto
+176 244 lineto
 closepath
 stroke
 end grestore
 
 %	registry -> xml
-newpath 205 184 moveto
-205 176 205 167 205 158 curveto
+newpath 229 193 moveto
+237 190 245 187 252 184 curveto
+299 166 354 147 390 135 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 391 138 moveto
+400 132 lineto
+389 132 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 158 moveto
-205 148 lineto
-202 158 lineto
+newpath 391 138 moveto
+400 132 lineto
+389 132 lineto
 closepath
 stroke
 end grestore
 
 %	xml -> extlib
-newpath 205 96 moveto
-205 88 205 79 205 70 curveto
+newpath 431 96 moveto
+431 88 431 79 431 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 435 70 moveto
+431 60 lineto
+428 70 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 70 moveto
-205 60 lineto
-202 70 lineto
+newpath 435 70 moveto
+431 60 lineto
+428 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 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 128 404 moveto
-0 404 lineto
-0 368 lineto
-128 368 lineto
+newpath 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 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 486 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+24 458 moveto
+(Analyzer)
+[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 99 448 moveto
+109 438 119 427 129 417 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 131 420 moveto
+136 410 lineto
+126 415 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 277 322 moveto
-285 315 lineto
-274 316 lineto
+newpath 131 420 moveto
+136 410 lineto
+126 415 lineto
 closepath
 stroke
 end grestore
@@ -1085,22 +1053,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 312 404 moveto
+236 404 lineto
+236 368 lineto
+312 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 312 404 moveto
+236 404 lineto
+236 368 lineto
+312 368 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-290 378 moveto
+244 378 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1108,22 +1076,22 @@ end grestore
 end grestore
 
 %	Getter -> getter
-newpath 320 368 moveto
-320 358 319 346 319 334 curveto
+newpath 274 368 moveto
+274 358 274 346 274 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 278 334 moveto
+274 324 lineto
+271 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 323 334 moveto
-319 324 lineto
-316 334 lineto
+newpath 278 334 moveto
+274 324 lineto
+271 334 lineto
 closepath
 stroke
 end grestore
@@ -1133,22 +1101,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 454 848 moveto
+376 848 lineto
+376 812 lineto
+454 812 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 319 756 moveto
-241 756 lineto
-241 720 lineto
-319 720 lineto
+newpath 454 848 moveto
+376 848 lineto
+376 812 lineto
+454 812 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-248 730 moveto
+383 822 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1156,43 +1124,89 @@ end grestore
 end grestore
 
 %	Matita -> cic_disambiguation
-newpath 300 720 moveto
-313 709 328 695 342 682 curveto
+newpath 376 815 moveto
+343 801 300 783 296 776 curveto
+281 752 289 721 299 696 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 302 698 moveto
+303 687 lineto
+296 695 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 345 684 moveto
-350 675 lineto
-340 679 lineto
+newpath 302 698 moveto
+303 687 lineto
+296 695 lineto
 closepath
 stroke
 end grestore
 
-%	Matita -> tactics
-newpath 256 720 moveto
-240 708 219 691 200 677 curveto
+%	Matita -> grafite
+newpath 447 812 moveto
+466 801 491 786 512 774 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 514 777 moveto
+521 769 lineto
+511 771 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 202 674 moveto
-192 671 lineto
-198 680 lineto
+newpath 514 777 moveto
+521 769 lineto
+511 771 lineto
+closepath
+stroke
+end grestore
+
+%	Matita -> paramodulation
+newpath 376 818 moveto
+336 806 272 787 223 772 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+stroke
+end grestore
+
+%	Matita -> hgdome
+newpath 454 827 moveto
+524 814 562 831 610 776 curveto
+643 737 629 713 629 662 curveto
+629 662 629 662 629 386 curveto
+629 334 606 278 590 244 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 593 242 moveto
+585 235 lineto
+587 245 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 593 242 moveto
+585 235 lineto
+587 245 lineto
 closepath
 stroke
 end grestore
@@ -1202,45 +1216,49 @@ 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 601 512 moveto
+505 512 lineto
+505 448 lineto
+601 448 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 710 492 moveto
-560 492 lineto
-560 456 lineto
-710 456 lineto
+newpath 601 512 moveto
+505 512 lineto
+505 448 lineto
+601 448 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-568 466 moveto
-(ProofChecker)
-[13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
+526 486 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+513 458 moveto
+(Checker)
+[16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %	ProofChecker -> cic_proof_checking
-newpath 605 456 moveto
-585 445 559 428 536 415 curveto
+newpath 515 448 moveto
+503 438 490 427 478 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 480 414 moveto
+470 411 lineto
+476 420 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 537 412 moveto
-527 410 lineto
-534 418 lineto
+newpath 480 414 moveto
+470 411 lineto
+476 420 lineto
 closepath
 stroke
 end grestore
@@ -1250,66 +1268,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 489 768 moveto
+403 768 lineto
+403 732 lineto
+489 732 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 579 756 moveto
-493 756 lineto
-493 720 lineto
-579 720 lineto
+newpath 489 768 moveto
+403 768 lineto
+403 732 lineto
+489 732 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-500 730 moveto
+410 742 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 462 732 moveto
+472 721 484 707 495 695 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 498 697 moveto
+502 687 lineto
+493 692 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 609 683 moveto
-614 674 lineto
-604 678 lineto
+newpath 498 697 moveto
+502 687 lineto
+493 692 lineto
 closepath
 stroke
 end grestore
@@ -1319,22 +1316,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 385 768 moveto
+305 768 lineto
+305 732 lineto
+385 732 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 417 756 moveto
-337 756 lineto
-337 720 lineto
-417 720 lineto
+newpath 385 768 moveto
+305 768 lineto
+305 732 lineto
+385 732 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-344 730 moveto
+312 742 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1342,45 +1339,44 @@ end grestore
 end grestore
 
 %	Whelp -> cic_disambiguation
-newpath 377 720 moveto
-377 710 377 698 377 686 curveto
+newpath 339 732 moveto
+336 722 332 709 329 698 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 332 697 moveto
+326 688 lineto
+326 699 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 381 686 moveto
-377 676 lineto
-374 686 lineto
+newpath 332 697 moveto
+326 688 lineto
+326 699 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 378 732 moveto
+383 729 389 726 394 724 curveto
+418 712 446 699 469 687 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 470 690 moveto
+478 683 lineto
+467 684 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 217 596 moveto
-211 587 lineto
-211 598 lineto
+newpath 470 690 moveto
+478 683 lineto
+467 684 lineto
 closepath
 stroke
 end grestore