%!PS-Adobe-2.0
%%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
-%%For: (zacchiro) Stefano Zacchiroli,,,
+%%For: (sacerdot) Claudio Sacerdoti Coen,,,
%%Title: G
%%Pages: (atend)
-%%BoundingBox: 35 35 866 873
+%%BoundingBox: 35 35 606 873
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 866 873
+%%PageBoundingBox: 36 36 606 873
%%PageOrientation: Portrait
gsave
-35 35 831 838 boxprim clip newpath
+35 35 571 838 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
-24.00 /Times-Roman set_font
+14.00 /Times-Roman set_font
-% acic_content
+% DependencyAnalyzer
gsave 10 dict begin
-583 562 75 25 ellipse_path
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 287 476 moveto
+201 476 lineto
+201 436 lineto
+287 436 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 287 476 moveto
+201 476 lineto
+201 436 lineto
+287 436 lineto
+closepath
stroke
gsave 10 dict begin
-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]
+0.000 0.000 0.000 nodecolor
+209 459 moveto
+(Dependency)
+[10.08 6.24 6.96 6.24 6.96 6.96 6.24 6.96 6.24 6.96]
+xshow
+217 443 moveto
+(Analyzer)
+[10.08 6.96 6.24 3.84 6.96 6.24 6.24 4.56]
xshow
end grestore
end grestore
-% cic_acic
+% metadata
gsave 10 dict begin
-562 474 54 25 ellipse_path
+191 380 38 18 ellipse_path
stroke
gsave 10 dict begin
-522 466 moveto
-(cic_acic)
-[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
+165 375 moveto
+(metadata)
+[10.8 6.24 3.84 6.24 6.96 6.24 3.84 6.24]
xshow
end grestore
end grestore
-% acic_content -> cic_acic
-newpath 577 537 moveto
-575 528 573 518 570 509 curveto
+% DependencyAnalyzer -> metadata
+newpath 230 436 moveto
+223 427 215 416 209 406 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 573 508 moveto
-568 499 lineto
-567 509 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 573 508 moveto
-568 499 lineto
-567 509 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
stroke
end grestore
-% cic_proof_checking
+% Getter
gsave 10 dict begin
-468 386 110 25 ellipse_path
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 408 324 moveto
+354 324 lineto
+354 288 lineto
+408 288 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 408 324 moveto
+354 324 lineto
+354 288 lineto
+408 288 lineto
+closepath
stroke
gsave 10 dict begin
-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]
+0.000 0.000 0.000 nodecolor
+363 301 moveto
+(Getter)
+[10.08 6.24 3.84 3.84 6.24 4.56]
xshow
end grestore
end grestore
-% cic_acic -> cic_proof_checking
-newpath 537 451 moveto
-526 441 513 429 501 418 curveto
+% getter
+gsave 10 dict begin
+275 234 29 18 ellipse_path
+stroke
+gsave 10 dict begin
+259 229 moveto
+(getter)
+[6.96 6.24 3.84 3.84 6.24 4.56]
+xshow
+end grestore
+end grestore
+
+% Getter -> getter
+newpath 354 288 moveto
+339 278 319 264 303 254 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 504 416 moveto
-494 411 lineto
-499 421 lineto
+newpath 305 251 moveto
+295 248 lineto
+301 257 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 504 416 moveto
-494 411 lineto
-499 421 lineto
+newpath 305 251 moveto
+295 248 lineto
+301 257 lineto
+closepath
+stroke
+end grestore
+
+% Matita
+gsave 10 dict begin
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 259 836 moveto
+205 836 lineto
+205 800 lineto
+259 800 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 259 836 moveto
+205 836 lineto
+205 800 lineto
+259 800 lineto
closepath
stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+213 813 moveto
+(Matita)
+[12.48 6.24 3.84 3.84 3.84 6.24]
+xshow
+end grestore
end grestore
% cic_disambiguation
gsave 10 dict begin
-426 650 109 25 ellipse_path
+313 602 68 18 ellipse_path
stroke
gsave 10 dict begin
-331 642 moveto
+258 597 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]
+[6.24 3.84 6.24 6.96 6.96 3.84 5.52 6.24 10.8 6.96 3.84 6.96 6.96 6.24 3.84 3.84 6.96 6.96]
xshow
end grestore
end grestore
-% cic_disambiguation -> acic_content
-newpath 468 626 moveto
-489 615 514 601 535 589 curveto
+% Matita -> cic_disambiguation
+newpath 259 801 moveto
+272 792 286 779 294 764 curveto
+316 721 317 664 316 630 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 537 592 moveto
-544 584 lineto
-534 586 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 537 592 moveto
-544 584 lineto
-534 586 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
stroke
end grestore
-% cic_unification
+% grafite_engine
gsave 10 dict begin
-402 562 86 25 ellipse_path
+232 746 53 18 ellipse_path
stroke
gsave 10 dict begin
-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]
+191 741 moveto
+(grafite_engine)
+[6.96 4.56 6.24 4.56 3.84 3.84 6.24 6.96 6.24 6.96 6.96 3.84 6.96 6.24]
xshow
end grestore
end grestore
-% cic_disambiguation -> cic_unification
-newpath 419 625 moveto
-417 616 414 607 412 598 curveto
+% Matita -> grafite_engine
+newpath 232 800 moveto
+232 792 232 783 232 774 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 415 597 moveto
-409 588 lineto
-409 599 lineto
+newpath 236 774 moveto
+232 764 lineto
+229 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 415 597 moveto
-409 588 lineto
-409 599 lineto
+newpath 236 774 moveto
+232 764 lineto
+229 774 lineto
closepath
stroke
end grestore
-% whelp
+% grafite_parser
gsave 10 dict begin
-252 562 44 25 ellipse_path
+393 746 52 18 ellipse_path
stroke
gsave 10 dict begin
-222 554 moveto
-(whelp)
-[17.28 12 10.56 6.72 12]
+354 741 moveto
+(grafite_parser)
+[6.96 4.56 6.24 4.56 3.84 3.84 6.24 6.96 6.96 6.24 4.56 5.52 6.24 4.56]
xshow
end grestore
end grestore
-% cic_disambiguation -> whelp
-newpath 380 627 moveto
-353 614 320 597 295 584 curveto
+% Matita -> grafite_parser
+newpath 259 806 moveto
+284 794 322 777 351 764 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 296 581 moveto
-286 579 lineto
-293 587 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 296 581 moveto
-286 579 lineto
-293 587 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
stroke
end grestore
-% content_pres
+% hgdome
gsave 10 dict begin
-631 650 76 25 ellipse_path
+36 602 36 18 ellipse_path
stroke
gsave 10 dict begin
-569 642 moveto
-(content_pres)
-[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
+12 597 moveto
+(hgdome)
+[6.96 6.96 6.96 6.96 10.8 6.24]
xshow
end grestore
end grestore
-% content_pres -> acic_content
-newpath 617 625 moveto
-612 616 607 606 602 596 curveto
+% Matita -> hgdome
+newpath 205 816 moveto
+129 801 85 826 38 764 curveto
+9 725 19 665 27 630 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 605 594 moveto
-597 587 lineto
-599 597 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 605 594 moveto
-597 587 lineto
-599 597 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
stroke
end grestore
-% utf8_macros
+% paramodulation
gsave 10 dict begin
-753 562 75 25 ellipse_path
+104 746 57 18 ellipse_path
stroke
gsave 10 dict begin
-692 554 moveto
-(utf8_macros)
-[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
+59 741 moveto
+(paramodulation)
+[6.96 6.24 4.56 6.24 10.8 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
xshow
end grestore
end grestore
-% content_pres -> utf8_macros
-newpath 663 627 moveto
-678 616 697 603 713 591 curveto
+% Matita -> paramodulation
+newpath 205 803 moveto
+186 793 161 778 141 767 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 715 594 moveto
-721 585 lineto
-711 588 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 715 594 moveto
-721 585 lineto
-711 588 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
stroke
end grestore
-% grafite
+% ProofChecker
+gsave 10 dict begin
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 309 400 moveto
+247 400 lineto
+247 360 lineto
+309 360 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 309 400 moveto
+247 400 lineto
+247 360 lineto
+309 360 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+262 383 moveto
+(Proof)
+[7.68 4.56 6.96 6.96 4.56]
+xshow
+254 367 moveto
+(Checker)
+[9.36 6.96 6.24 6.24 6.96 6.24 4.56]
+xshow
+end grestore
+end grestore
+
+% cic_proof_checking
gsave 10 dict begin
-689 738 46 25 ellipse_path
+268 306 68 18 ellipse_path
stroke
gsave 10 dict begin
-657 730 moveto
-(grafite)
-[12 7.92 10.56 7.92 6.72 6.72 10.56]
+212 301 moveto
+(cic_proof_checking)
+[6.24 3.84 6.24 6.96 6.96 4.56 6.96 6.96 4.56 6.96 6.24 6.96 6.24 6.24 6.96 3.84 6.96 6.96]
xshow
end grestore
end grestore
-% grafite -> content_pres
-newpath 673 714 moveto
-667 705 659 694 653 684 curveto
+% ProofChecker -> cic_proof_checking
+newpath 275 360 moveto
+274 352 273 343 272 334 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 655 681 moveto
-647 675 lineto
-650 685 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 655 681 moveto
-647 675 lineto
-650 685 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 lineto
closepath
stroke
end grestore
-% cic_unification -> cic_proof_checking
-newpath 425 537 moveto
-434 526 443 513 449 500 curveto
-459 475 465 445 466 422 curveto
+% Uwobo
+gsave 10 dict begin
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 489 692 moveto
+431 692 lineto
+431 656 lineto
+489 656 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 489 692 moveto
+431 692 lineto
+431 656 lineto
+489 656 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+438 669 moveto
+(Uwobo)
+[10.08 10.08 6.96 6.96 6.96]
+xshow
+end grestore
+end grestore
+
+% content_pres
+gsave 10 dict begin
+454 602 49 18 ellipse_path
+stroke
+gsave 10 dict begin
+418 597 moveto
+(content_pres)
+[6.24 6.96 6.96 3.84 6.24 6.96 3.84 6.96 6.96 4.56 6.24 5.52]
+xshow
+end grestore
+end grestore
+
+% Uwobo -> content_pres
+newpath 458 656 moveto
+457 648 457 639 456 630 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 469 422 moveto
-467 412 lineto
-463 422 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 469 422 moveto
-467 412 lineto
-463 422 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
stroke
end grestore
-% tactics
+% Whelp
gsave 10 dict begin
-252 650 45 25 ellipse_path
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 420 836 moveto
+366 836 lineto
+366 800 lineto
+420 800 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 420 836 moveto
+366 836 lineto
+366 800 lineto
+420 800 lineto
+closepath
stroke
gsave 10 dict begin
-221 642 moveto
-(tactics)
-[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
+0.000 0.000 0.000 nodecolor
+373 813 moveto
+(Whelp)
+[13.2 6.96 6.24 3.84 6.96]
xshow
end grestore
end grestore
-% tactics -> cic_unification
-newpath 284 631 moveto
-304 620 332 603 354 590 curveto
+% Whelp -> grafite_parser
+newpath 393 800 moveto
+393 792 393 783 393 774 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 356 593 moveto
-363 585 lineto
-353 587 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 356 593 moveto
-363 585 lineto
-353 587 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
stroke
end grestore
-% tactics -> whelp
-newpath 252 624 moveto
-252 616 252 607 252 598 curveto
+% cic
+gsave 10 dict begin
+172 234 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+163 229 moveto
+(cic)
+[6.24 3.84 6.24]
+xshow
+end grestore
+end grestore
+
+% metadata -> cic
+newpath 189 362 moveto
+185 337 179 292 175 262 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 256 598 moveto
-252 588 lineto
-249 598 lineto
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 256 598 moveto
-252 588 lineto
-249 598 lineto
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
closepath
stroke
end grestore
-% paramodulation
+% hmysql
gsave 10 dict begin
-279 738 90 25 ellipse_path
+401 234 34 18 ellipse_path
stroke
gsave 10 dict begin
-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]
+379 229 moveto
+(hmysql)
+[6.96 10.8 6.96 5.52 6.96 3.84]
xshow
end grestore
end grestore
-% paramodulation -> tactics
-newpath 271 713 moveto
-268 704 265 694 263 685 curveto
+% metadata -> hmysql
+newpath 218 367 moveto
+225 364 232 362 238 360 curveto
+316 335 365 386 417 324 curveto
+431 306 425 280 416 261 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 266 684 moveto
-260 675 lineto
-260 686 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 266 684 moveto
-260 675 lineto
-260 686 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
stroke
end grestore
-% cic
+% urimanager
gsave 10 dict begin
-462 298 28 25 ellipse_path
+181 162 45 18 ellipse_path
stroke
gsave 10 dict begin
-448 290 moveto
-(cic)
-[10.56 6.72 10.56]
+148 157 moveto
+(urimanager)
+[6.96 4.56 3.84 10.8 6.24 6.96 6.24 6.96 6.24 4.56]
xshow
end grestore
end grestore
-% urimanager
+% getter -> urimanager
+newpath 256 220 moveto
+242 210 225 196 210 184 curveto
+stroke
gsave 10 dict begin
-456 210 70 25 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 212 181 moveto
+202 178 lineto
+208 187 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 212 181 moveto
+202 178 lineto
+208 187 lineto
+closepath
stroke
+end grestore
+
+% registry
gsave 10 dict begin
-400 202 moveto
-(urimanager)
-[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
+359 162 35 18 ellipse_path
+stroke
+gsave 10 dict begin
+337 157 moveto
+(registry)
+[4.56 6.24 6.96 3.84 5.52 3.84 4.56 6.96]
xshow
end grestore
end grestore
-% cic -> urimanager
-newpath 460 272 moveto
-459 264 459 255 458 246 curveto
+% getter -> registry
+newpath 292 219 moveto
+304 209 319 196 333 185 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 462 246 moveto
-458 236 lineto
-455 246 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 462 246 moveto
-458 236 lineto
-455 246 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
stroke
end grestore
-% xml
+% logger
gsave 10 dict begin
-312 122 33 25 ellipse_path
+275 162 31 18 ellipse_path
stroke
gsave 10 dict begin
-293 114 moveto
-(xml)
-[12 18.72 6.72]
+257 157 moveto
+(logger)
+[3.84 6.96 6.96 6.96 6.24 4.56]
xshow
end grestore
end grestore
-% cic -> xml
-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
+% getter -> logger
+newpath 275 216 moveto
+275 208 275 199 275 190 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 356 124 moveto
-346 126 lineto
-356 130 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 356 124 moveto
-346 126 lineto
-356 130 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
stroke
end grestore
-% cic_proof_checking -> cic
-newpath 466 360 moveto
-465 352 465 343 464 334 curveto
+% cic_unification
+gsave 10 dict begin
+286 530 55 18 ellipse_path
+stroke
+gsave 10 dict begin
+244 525 moveto
+(cic_unification)
+[6.24 3.84 6.24 6.96 6.96 6.96 3.84 4.56 3.84 6.24 6.24 3.84 3.84 6.96 6.96]
+xshow
+end grestore
+end grestore
+
+% cic_disambiguation -> cic_unification
+newpath 306 584 moveto
+303 576 300 566 296 558 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 468 334 moveto
-464 324 lineto
-461 334 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 468 334 moveto
-464 324 lineto
-461 334 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
stroke
end grestore
-% getter
+% acic_content
gsave 10 dict begin
-301 298 42 25 ellipse_path
+407 530 48 18 ellipse_path
stroke
gsave 10 dict begin
-273 290 moveto
-(getter)
-[12 10.56 6.72 6.72 10.56 7.92]
+371 525 moveto
+(acic_content)
+[6.24 6.24 3.84 6.24 6.96 6.24 6.96 6.96 3.84 6.24 6.96 3.84]
xshow
end grestore
end grestore
-% cic_proof_checking -> getter
-newpath 423 362 moveto
-398 349 367 332 342 320 curveto
+% cic_disambiguation -> acic_content
+newpath 335 585 moveto
+347 575 364 563 378 552 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 343 317 moveto
-333 315 lineto
-340 323 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 343 317 moveto
-333 315 lineto
-340 323 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
stroke
end grestore
-% getter -> urimanager
-newpath 332 280 moveto
-354 268 384 250 409 237 curveto
+% whelp
+gsave 10 dict begin
+183 530 30 18 ellipse_path
+stroke
+gsave 10 dict begin
+165 525 moveto
+(whelp)
+[10.08 6.96 6.24 3.84 6.96]
+xshow
+end grestore
+end grestore
+
+% cic_disambiguation -> whelp
+newpath 284 586 moveto
+263 574 235 559 214 547 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 411 240 moveto
-418 232 lineto
-408 234 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 411 240 moveto
-418 232 lineto
-408 234 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
stroke
end grestore
-% registry
+% grafite
gsave 10 dict begin
-186 210 52 25 ellipse_path
+243 674 31 18 ellipse_path
stroke
gsave 10 dict begin
-148 202 moveto
-(registry)
-[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
+224 669 moveto
+(grafite)
+[6.96 4.56 6.24 4.56 3.84 3.84 6.24]
xshow
end grestore
end grestore
-% getter -> registry
-newpath 275 278 moveto
-260 266 240 251 222 238 curveto
+% grafite_engine -> grafite
+newpath 235 728 moveto
+236 720 238 711 239 702 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 224 235 moveto
-214 232 lineto
-220 241 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 224 235 moveto
-214 232 lineto
-220 241 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
stroke
end grestore
-% metadata
+% tactics
gsave 10 dict begin
-186 386 58 25 ellipse_path
+184 602 31 18 ellipse_path
stroke
gsave 10 dict begin
-142 378 moveto
-(metadata)
-[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+165 597 moveto
+(tactics)
+[3.84 6.24 6.24 3.84 3.84 6.24 5.52]
xshow
end grestore
end grestore
-% metadata -> cic
-newpath 230 369 moveto
-238 366 246 363 254 360 curveto
-313 340 382 319 424 308 curveto
+% grafite_engine -> tactics
+newpath 221 728 moveto
+215 718 208 704 203 692 curveto
+195 672 191 648 188 630 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 425 311 moveto
-434 305 lineto
-423 305 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 425 311 moveto
-434 305 lineto
-423 305 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
stroke
end grestore
-% metadata -> getter
-newpath 215 364 moveto
-230 352 250 337 267 324 curveto
+% grafite_parser -> grafite
+newpath 362 731 moveto
+337 719 302 702 276 690 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 269 327 moveto
-275 318 lineto
-265 321 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 269 327 moveto
-275 318 lineto
-265 321 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
stroke
end grestore
-% hmysql
+% sheath
gsave 10 dict begin
-186 298 50 25 ellipse_path
+382 674 31 18 ellipse_path
stroke
gsave 10 dict begin
-150 290 moveto
-(hmysql)
-[12 18.72 12 9.36 12 6.72]
+364 669 moveto
+(sheath)
+[5.52 6.96 6.24 6.24 3.84 6.96]
xshow
end grestore
end grestore
-% metadata -> hmysql
-newpath 186 360 moveto
-186 352 186 343 186 334 curveto
+% grafite_parser -> sheath
+newpath 390 728 moveto
+389 720 387 711 386 702 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 190 334 moveto
-186 324 lineto
-183 334 lineto
+newpath 389 702 moveto
+385 692 lineto
+383 702 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 190 334 moveto
-186 324 lineto
-183 334 lineto
+newpath 389 702 moveto
+385 692 lineto
+383 702 lineto
closepath
stroke
end grestore
-% whelp -> metadata
-newpath 251 536 moveto
-250 512 245 476 233 448 curveto
-228 437 222 427 215 418 curveto
+% xml
+gsave 10 dict begin
+108 90 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+96 85 moveto
+(xml)
+[6.96 10.8 3.84]
+xshow
+end grestore
+end grestore
+
+% hgdome -> xml
+newpath 39 584 moveto
+44 557 53 502 53 456 curveto
+53 456 53 456 53 234 curveto
+53 190 76 144 92 116 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 218 416 moveto
-209 410 lineto
-212 420 lineto
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 218 416 moveto
-209 410 lineto
-212 420 lineto
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
closepath
stroke
end grestore
-% extlib
+% paramodulation -> tactics
+newpath 114 728 moveto
+128 703 153 657 169 628 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 172 629 moveto
+174 619 lineto
+166 626 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 172 629 moveto
+174 619 lineto
+166 626 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking -> getter
+newpath 270 288 moveto
+271 280 271 271 272 262 curveto
+stroke
gsave 10 dict begin
-312 34 42 25 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 275 262 moveto
+273 252 lineto
+269 262 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 275 262 moveto
+273 252 lineto
+269 262 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking -> cic
+newpath 245 289 moveto
+231 279 213 265 198 254 curveto
stroke
gsave 10 dict begin
-284 26 moveto
-(extlib)
-[10.56 12 6.72 6.72 6.72 12]
-xshow
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 200 251 moveto
+190 248 lineto
+196 257 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 200 251 moveto
+190 248 lineto
+196 257 lineto
+closepath
+stroke
end grestore
+
+% content_pres -> acic_content
+newpath 442 584 moveto
+437 576 430 566 424 556 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 427 554 moveto
+418 548 lineto
+421 558 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 427 554 moveto
+418 548 lineto
+421 558 lineto
+closepath
+stroke
end grestore
-% hgdome
+% utf8_macros
gsave 10 dict begin
-312 210 54 25 ellipse_path
+521 530 48 18 ellipse_path
stroke
gsave 10 dict begin
-272 202 moveto
-(hgdome)
-[12 12 12 12 18.72 10.56]
+485 525 moveto
+(utf8_macros)
+[6.96 3.84 4.56 6.96 6.96 10.8 6.24 6.24 4.56 6.96 5.52]
xshow
end grestore
end grestore
-% hgdome -> xml
-newpath 312 184 moveto
-312 176 312 167 312 158 curveto
+% content_pres -> utf8_macros
+newpath 470 585 moveto
+479 576 489 565 498 555 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 316 158 moveto
-312 148 lineto
-309 158 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 316 158 moveto
-312 148 lineto
-309 158 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
stroke
end grestore
-% hmysql -> registry
-newpath 186 272 moveto
-186 264 186 255 186 246 curveto
+% grafite -> cic
+newpath 215 666 moveto
+193 658 162 643 144 620 curveto
+120 587 125 570 125 530 curveto
+125 530 125 530 125 380 curveto
+125 336 144 289 158 260 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 190 246 moveto
-186 236 lineto
-183 246 lineto
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 190 246 moveto
-186 236 lineto
-183 246 lineto
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
stroke
end grestore
-% registry -> xml
-newpath 216 189 moveto
-235 176 260 159 279 145 curveto
+% sheath -> cic_disambiguation
+newpath 367 658 moveto
+358 649 347 637 337 627 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 281 148 moveto
-287 139 lineto
-277 142 lineto
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 281 148 moveto
-287 139 lineto
-277 142 lineto
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
closepath
stroke
end grestore
-% xml -> extlib
-newpath 312 96 moveto
-312 88 312 79 312 70 curveto
+% sheath -> content_pres
+newpath 398 658 moveto
+407 649 419 637 430 626 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 316 70 moveto
-312 60 lineto
-309 70 lineto
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 316 70 moveto
-312 60 lineto
-309 70 lineto
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
closepath
stroke
end grestore
-% DependencyAnalyzer
+% tactics -> cic_unification
+newpath 204 588 moveto
+218 578 238 564 255 553 curveto
+stroke
gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 224 492 moveto
-0 492 lineto
-0 456 lineto
-224 456 lineto
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 257 556 moveto
+263 547 lineto
+253 550 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 224 492 moveto
-0 492 lineto
-0 456 lineto
-224 456 lineto
+0.000 0.000 0.000 edgecolor
+newpath 257 556 moveto
+263 547 lineto
+253 550 lineto
closepath
stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-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
-% DependencyAnalyzer -> metadata
-newpath 127 456 moveto
-136 445 148 431 159 418 curveto
+% tactics -> whelp
+newpath 184 584 moveto
+183 576 183 567 183 558 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 162 420 moveto
-166 410 lineto
-157 415 lineto
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 162 420 moveto
-166 410 lineto
-157 415 lineto
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
closepath
stroke
end grestore
-% Getter
+% library
gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 339 404 moveto
-263 404 lineto
-263 368 lineto
-339 368 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 339 404 moveto
-263 404 lineto
-263 368 lineto
-339 368 lineto
-closepath
+337 456 32 18 ellipse_path
stroke
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-271 378 moveto
-(Getter)
-[17.28 10.56 6.72 6.72 10.56 7.92]
+318 451 moveto
+(library)
+[3.84 3.84 6.96 4.56 6.24 4.56 6.96]
xshow
end grestore
end grestore
-% Getter -> getter
-newpath 301 368 moveto
-301 358 301 346 301 334 curveto
+% cic_unification -> library
+newpath 298 512 moveto
+304 503 312 492 319 482 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 305 334 moveto
-301 324 lineto
-298 334 lineto
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 305 334 moveto
-301 324 lineto
-298 334 lineto
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
closepath
stroke
end grestore
-% Matita
+% cic_acic
gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 451 836 moveto
-373 836 lineto
-373 800 lineto
-451 800 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 451 836 moveto
-373 836 lineto
-373 800 lineto
-451 800 lineto
-closepath
+363 380 36 18 ellipse_path
stroke
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-380 810 moveto
-(Matita)
-[21.36 10.56 6.72 6.72 6.72 10.56]
+340 375 moveto
+(cic_acic)
+[6.24 3.84 6.24 6.96 6.24 6.24 3.84 6.24]
xshow
end grestore
end grestore
-% Matita -> cic_disambiguation
-newpath 414 800 moveto
-416 773 420 721 423 686 curveto
+% acic_content -> cic_acic
+newpath 402 512 moveto
+394 486 380 438 371 408 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 426 686 moveto
-424 676 lineto
-420 686 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 426 686 moveto
-424 676 lineto
-420 686 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
stroke
end grestore
-% Matita -> grafite
-newpath 451 811 moveto
-496 802 571 785 633 764 curveto
-637 762 641 761 644 759 curveto
+% whelp -> metadata
+newpath 184 512 moveto
+185 486 187 439 189 408 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 646 762 moveto
-654 755 lineto
-643 755 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 646 762 moveto
-654 755 lineto
-643 755 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
stroke
end grestore
-% Matita -> paramodulation
-newpath 382 800 moveto
-366 790 345 777 327 766 curveto
+% library -> metadata
+newpath 313 444 moveto
+290 431 253 413 226 398 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
+newpath 227 395 moveto
+217 393 lineto
+224 401 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 328 763 moveto
-318 761 lineto
-325 769 lineto
+newpath 227 395 moveto
+217 393 lineto
+224 401 lineto
closepath
stroke
end grestore
-% ProofChecker
+% library -> cic_acic
+newpath 343 438 moveto
+346 429 350 418 354 408 curveto
+stroke
gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 440 492 moveto
-290 492 lineto
-290 456 lineto
-440 456 lineto
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 357 409 moveto
+357 398 lineto
+351 407 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 440 492 moveto
-290 492 lineto
-290 456 lineto
-440 456 lineto
+0.000 0.000 0.000 edgecolor
+newpath 357 409 moveto
+357 398 lineto
+351 407 lineto
closepath
stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-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
-end grestore
end grestore
-% ProofChecker -> cic_proof_checking
-newpath 386 456 moveto
-400 445 416 430 431 417 curveto
+% cic_acic -> cic_proof_checking
+newpath 343 365 moveto
+330 355 312 341 298 329 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 433 420 moveto
-439 411 lineto
-429 414 lineto
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 433 420 moveto
-439 411 lineto
-429 414 lineto
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
closepath
stroke
end grestore
-% Uwobo
+% cic -> xml
+newpath 156 219 moveto
+146 209 134 195 127 180 curveto
+118 161 113 137 110 118 curveto
+stroke
gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 624 756 moveto
-538 756 lineto
-538 720 lineto
-624 720 lineto
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 113 118 moveto
+109 108 lineto
+107 118 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 624 756 moveto
-538 756 lineto
-538 720 lineto
-624 720 lineto
+0.000 0.000 0.000 edgecolor
+newpath 113 118 moveto
+109 108 lineto
+107 118 lineto
closepath
stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-545 730 moveto
-(Uwobo)
-[17.28 17.28 12 12 12]
-xshow
-end grestore
end grestore
-% Uwobo -> content_pres
-newpath 591 720 moveto
-597 710 605 696 612 684 curveto
+% cic -> urimanager
+newpath 174 216 moveto
+175 208 176 199 177 190 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 615 685 moveto
-617 675 lineto
-609 682 lineto
+newpath 180 190 moveto
+179 180 lineto
+174 189 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 615 685 moveto
-617 675 lineto
-609 682 lineto
+newpath 180 190 moveto
+179 180 lineto
+174 189 lineto
closepath
stroke
end grestore
-% Whelp
+% hmysql -> registry
+newpath 391 217 moveto
+386 208 380 197 374 188 curveto
+stroke
gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 520 756 moveto
-440 756 lineto
-440 720 lineto
-520 720 lineto
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 377 186 moveto
+369 179 lineto
+371 189 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 520 756 moveto
-440 756 lineto
-440 720 lineto
-520 720 lineto
+0.000 0.000 0.000 edgecolor
+newpath 377 186 moveto
+369 179 lineto
+371 189 lineto
closepath
stroke
+end grestore
+
+% extlib
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-447 730 moveto
-(Whelp)
-[22.56 12 10.56 6.72 12]
+108 18 29 18 ellipse_path
+stroke
+gsave 10 dict begin
+92 13 moveto
+(extlib)
+[6.24 6.96 3.84 3.84 3.84 6.96]
xshow
end grestore
end grestore
-% Whelp -> cic_disambiguation
-newpath 469 720 moveto
-463 710 454 696 447 684 curveto
+% xml -> extlib
+newpath 108 72 moveto
+108 64 108 55 108 46 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 450 682 moveto
-442 675 lineto
-444 685 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 450 682 moveto
-442 675 lineto
-444 685 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 lineto
closepath
stroke
end grestore
-% Whelp -> content_pres
-newpath 511 720 moveto
-532 708 560 691 584 677 curveto
+% registry -> xml
+newpath 332 150 moveto
+327 148 321 146 315 144 curveto
+256 124 185 107 144 97 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 586 680 moveto
-593 672 lineto
-583 674 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 586 680 moveto
-593 672 lineto
-583 674 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
stroke
end grestore
projects / helm.git / blobdiff