%!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 819 801
+%%BoundingBox: 35 35 606 873
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 819 801
+%%PageBoundingBox: 36 36 606 873
%%PageOrientation: Portrait
gsave
-35 35 784 766 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
-536 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
-475 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
-487 474 54 25 ellipse_path
+191 380 38 18 ellipse_path
stroke
gsave 10 dict begin
-447 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 522 537 moveto
-517 528 511 518 506 508 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 509 506 moveto
-501 499 lineto
-503 509 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 509 506 moveto
-501 499 lineto
-503 509 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
stroke
end grestore
-% cic_proof_checking
+% Getter
gsave 10 dict begin
-487 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
-391 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 487 448 moveto
-487 440 487 431 487 422 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 491 422 moveto
-487 412 lineto
-484 422 lineto
+newpath 305 251 moveto
+295 248 lineto
+301 257 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 491 422 moveto
-487 412 lineto
-484 422 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
-377 650 109 25 ellipse_path
+313 602 68 18 ellipse_path
stroke
gsave 10 dict begin
-282 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 420 626 moveto
-441 615 466 601 487 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 489 592 moveto
-496 584 lineto
-486 586 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 489 592 moveto
-496 584 lineto
-486 586 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
stroke
end grestore
-% cic_unification
+% grafite_engine
gsave 10 dict begin
-355 562 86 25 ellipse_path
+232 746 53 18 ellipse_path
stroke
gsave 10 dict begin
-283 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 371 624 moveto
-369 616 366 607 364 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 367 597 moveto
-362 588 lineto
-361 598 lineto
+newpath 236 774 moveto
+232 764 lineto
+229 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 367 597 moveto
-362 588 lineto
-361 598 lineto
+newpath 236 774 moveto
+232 764 lineto
+229 774 lineto
closepath
stroke
end grestore
-% whelp
+% grafite_parser
gsave 10 dict begin
-205 562 44 25 ellipse_path
+393 746 52 18 ellipse_path
stroke
gsave 10 dict begin
-175 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 331 627 moveto
-305 614 273 597 247 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 248 581 moveto
-238 579 lineto
-245 587 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 248 581 moveto
-238 579 lineto
-245 587 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
stroke
end grestore
-% content_pres
+% hgdome
gsave 10 dict begin
-643 650 76 25 ellipse_path
+36 602 36 18 ellipse_path
stroke
gsave 10 dict begin
-581 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 614 626 moveto
-602 616 586 603 573 593 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 575 590 moveto
-565 586 lineto
-570 595 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 575 590 moveto
-565 586 lineto
-570 595 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
stroke
end grestore
-% utf8_macros
+% paramodulation
gsave 10 dict begin
-706 562 75 25 ellipse_path
+104 746 57 18 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]
+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 661 625 moveto
-668 616 676 605 682 595 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 685 597 moveto
-688 587 lineto
-679 593 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 685 597 moveto
-688 587 lineto
-679 593 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
stroke
end grestore
-% grafite
+% ProofChecker
gsave 10 dict begin
-644 738 46 25 ellipse_path
+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
-612 730 moveto
-(grafite)
-[12 7.92 10.56 7.92 6.72 6.72 10.56]
+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
+268 306 68 18 ellipse_path
+stroke
+gsave 10 dict begin
+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 644 712 moveto
-644 704 643 695 643 686 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 647 686 moveto
-643 676 lineto
-640 686 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 647 686 moveto
-643 676 lineto
-640 686 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 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
+% 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 453 420 moveto
-458 411 lineto
-448 415 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 453 420 moveto
-458 411 lineto
-448 415 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
stroke
end grestore
-% tactics
+% Whelp
gsave 10 dict begin
-165 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
-134 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 201 633 moveto
-228 620 267 603 299 588 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 300 591 moveto
-308 584 lineto
-297 585 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 300 591 moveto
-308 584 lineto
-297 585 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
stroke
end grestore
-% tactics -> whelp
-newpath 176 625 moveto
-181 616 185 606 190 596 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 193 598 moveto
-194 587 lineto
-187 595 lineto
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 193 598 moveto
-194 587 lineto
-187 595 lineto
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
closepath
stroke
end grestore
-% paramodulation
+% hmysql
gsave 10 dict begin
-132 738 90 25 ellipse_path
+401 234 34 18 ellipse_path
stroke
gsave 10 dict begin
-56 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 142 713 moveto
-145 704 149 694 152 684 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 155 686 moveto
-156 675 lineto
-149 683 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 155 686 moveto
-156 675 lineto
-149 683 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
stroke
end grestore
-% cic
+% urimanager
gsave 10 dict begin
-427 298 28 25 ellipse_path
+181 162 45 18 ellipse_path
stroke
gsave 10 dict begin
-413 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
+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
-347 210 70 25 ellipse_path
+359 162 35 18 ellipse_path
stroke
gsave 10 dict begin
-291 202 moveto
-(urimanager)
-[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
+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 409 278 moveto
-399 267 387 254 376 241 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 379 239 moveto
-369 234 lineto
-374 244 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 379 239 moveto
-369 234 lineto
-374 244 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
stroke
end grestore
-% xml
+% logger
gsave 10 dict begin
-205 122 33 25 ellipse_path
+275 162 31 18 ellipse_path
stroke
gsave 10 dict begin
-186 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 435 273 moveto
-441 248 446 209 427 184 curveto
-405 156 307 137 249 128 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 249 125 moveto
-239 126 lineto
-248 131 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 249 125 moveto
-239 126 lineto
-248 131 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
stroke
end grestore
-% cic_proof_checking -> cic
-newpath 470 361 moveto
-463 351 455 339 448 328 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 451 326 moveto
-442 320 lineto
-445 330 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 451 326 moveto
-442 320 lineto
-445 330 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
stroke
end grestore
-% getter
+% acic_content
gsave 10 dict begin
-318 298 42 25 ellipse_path
+407 530 48 18 ellipse_path
stroke
gsave 10 dict begin
-290 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 442 363 moveto
-416 350 384 333 359 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 360 317 moveto
-350 315 lineto
-357 323 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 360 317 moveto
-350 315 lineto
-357 323 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
stroke
end grestore
-% getter -> urimanager
-newpath 326 273 moveto
-329 264 332 254 336 245 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 339 246 moveto
-339 235 lineto
-333 244 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 339 246 moveto
-339 235 lineto
-333 244 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
stroke
end grestore
-% registry
+% grafite
gsave 10 dict begin
-205 210 52 25 ellipse_path
+243 674 31 18 ellipse_path
stroke
gsave 10 dict begin
-167 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 292 278 moveto
-277 266 258 251 241 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 243 235 moveto
-233 232 lineto
-239 241 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 243 235 moveto
-233 232 lineto
-239 241 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
stroke
end grestore
-% metadata
+% tactics
gsave 10 dict begin
-205 386 58 25 ellipse_path
+184 602 31 18 ellipse_path
stroke
gsave 10 dict begin
-161 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 249 369 moveto
-257 366 265 363 273 360 curveto
-316 343 327 341 370 324 curveto
-377 321 384 318 391 314 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 393 317 moveto
-401 310 lineto
-390 310 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 393 317 moveto
-401 310 lineto
-390 310 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
stroke
end grestore
-% metadata -> getter
-newpath 234 364 moveto
-249 352 268 337 283 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 285 327 moveto
-291 318 lineto
-281 321 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 285 327 moveto
-291 318 lineto
-281 321 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
stroke
end grestore
-% hmysql
+% sheath
gsave 10 dict begin
-205 298 50 25 ellipse_path
+382 674 31 18 ellipse_path
stroke
gsave 10 dict begin
-169 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 205 360 moveto
-205 352 205 343 205 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 209 334 moveto
-205 324 lineto
-202 334 lineto
+newpath 389 702 moveto
+385 692 lineto
+383 702 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 209 334 moveto
-205 324 lineto
-202 334 lineto
+newpath 389 702 moveto
+385 692 lineto
+383 702 lineto
closepath
stroke
end grestore
-% whelp -> metadata
-newpath 205 536 moveto
-205 506 205 456 205 422 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 209 422 moveto
-205 412 lineto
-202 422 lineto
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 209 422 moveto
-205 412 lineto
-202 422 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
-205 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
-177 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
-79 210 54 25 ellipse_path
+521 530 48 18 ellipse_path
stroke
gsave 10 dict begin
-39 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 110 189 moveto
-128 176 152 159 172 146 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 174 149 moveto
-180 140 lineto
-170 143 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 174 149 moveto
-180 140 lineto
-170 143 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
stroke
end grestore
-% hmysql -> registry
-newpath 205 272 moveto
-205 264 205 255 205 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 209 246 moveto
-205 236 lineto
-202 246 lineto
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 209 246 moveto
-205 236 lineto
-202 246 lineto
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
stroke
end grestore
-% registry -> xml
-newpath 205 184 moveto
-205 176 205 167 205 158 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 209 158 moveto
-205 148 lineto
-202 158 lineto
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 209 158 moveto
-205 148 lineto
-202 158 lineto
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
closepath
stroke
end grestore
-% xml -> extlib
-newpath 205 96 moveto
-205 88 205 79 205 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 209 70 moveto
-205 60 lineto
-202 70 lineto
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 209 70 moveto
-205 60 lineto
-202 70 lineto
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
closepath
stroke
end grestore
-% DrawGraph
+% 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 128 404 moveto
-0 404 lineto
-0 368 lineto
-128 368 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 128 404 moveto
-0 404 lineto
-0 368 lineto
-128 368 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
-7 378 moveto
-(DrawGraph)
-[17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12]
-xshow
-end grestore
end grestore
-% DrawGraph -> getter
-newpath 113 368 moveto
-121 365 129 362 137 360 curveto
-193 342 209 345 265 324 curveto
-269 322 272 321 276 319 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 277 322 moveto
-285 315 lineto
-274 316 lineto
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 277 322 moveto
-285 315 lineto
-274 316 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 358 404 moveto
-282 404 lineto
-282 368 lineto
-358 368 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 358 404 moveto
-282 404 lineto
-282 368 lineto
-358 368 lineto
-closepath
+337 456 32 18 ellipse_path
stroke
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-290 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 320 368 moveto
-320 358 319 346 319 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 323 334 moveto
-319 324 lineto
-316 334 lineto
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 323 334 moveto
-319 324 lineto
-316 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 319 756 moveto
-241 756 lineto
-241 720 lineto
-319 720 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 319 756 moveto
-241 756 lineto
-241 720 lineto
-319 720 lineto
-closepath
+363 380 36 18 ellipse_path
stroke
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-248 730 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 300 720 moveto
-313 709 328 695 342 682 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 345 684 moveto
-350 675 lineto
-340 679 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 345 684 moveto
-350 675 lineto
-340 679 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
stroke
end grestore
-% Matita -> tactics
-newpath 256 720 moveto
-240 708 219 691 200 677 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 202 674 moveto
-192 671 lineto
-198 680 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 202 674 moveto
-192 671 lineto
-198 680 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
stroke
end grestore
-% ProofChecker
+% library -> metadata
+newpath 313 444 moveto
+290 431 253 413 226 398 curveto
+stroke
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
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 227 395 moveto
+217 393 lineto
+224 401 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 710 492 moveto
-560 492 lineto
-560 456 lineto
-710 456 lineto
+0.000 0.000 0.000 edgecolor
+newpath 227 395 moveto
+217 393 lineto
+224 401 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]
-xshow
-end grestore
end grestore
-% ProofChecker -> cic_proof_checking
-newpath 605 456 moveto
-585 445 559 428 536 415 curveto
+% library -> cic_acic
+newpath 343 438 moveto
+346 429 350 418 354 408 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 357 409 moveto
+357 398 lineto
+351 407 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 537 412 moveto
-527 410 lineto
-534 418 lineto
+newpath 357 409 moveto
+357 398 lineto
+351 407 lineto
closepath
stroke
end grestore
-% Uwobo
+% cic_acic -> cic_proof_checking
+newpath 343 365 moveto
+330 355 312 341 298 329 curveto
+stroke
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
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 579 756 moveto
-493 756 lineto
-493 720 lineto
-579 720 lineto
+0.000 0.000 0.000 edgecolor
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
closepath
stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-500 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
+% 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
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 540 598 moveto
-536 588 lineto
-533 598 lineto
+newpath 113 118 moveto
+109 108 lineto
+107 118 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 540 598 moveto
-536 588 lineto
-533 598 lineto
+newpath 113 118 moveto
+109 108 lineto
+107 118 lineto
closepath
stroke
end grestore
-% Uwobo -> content_pres
-newpath 558 720 moveto
-572 709 590 694 606 681 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 609 683 moveto
-614 674 lineto
-604 678 lineto
+newpath 180 190 moveto
+179 180 lineto
+174 189 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 609 683 moveto
-614 674 lineto
-604 678 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 417 756 moveto
-337 756 lineto
-337 720 lineto
-417 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 417 756 moveto
-337 756 lineto
-337 720 lineto
-417 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
-344 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 377 720 moveto
-377 710 377 698 377 686 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 381 686 moveto
-377 676 lineto
-374 686 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 381 686 moveto
-377 676 lineto
-374 686 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 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
+% 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 217 596 moveto
-211 587 lineto
-211 598 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 217 596 moveto
-211 587 lineto
-211 598 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
stroke
end grestore
projects / helm.git / blobdiff