%!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 778 885
+%%BoundingBox: 35 35 606 873
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 778 885
+%%PageBoundingBox: 36 36 606 873
%%PageOrientation: Portrait
gsave
-35 35 743 850 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
-495 574 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
-434 566 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
-464 480 54 25 ellipse_path
+191 380 38 18 ellipse_path
stroke
gsave 10 dict begin
-424 472 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 487 548 moveto
-483 538 479 526 475 515 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 478 514 moveto
-472 505 lineto
-472 516 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 478 514 moveto
-472 505 lineto
-472 516 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
stroke
end grestore
-% cic_proof_checking
+% Getter
gsave 10 dict begin
-365 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
-269 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 440 457 moveto
-427 445 412 431 399 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 401 415 moveto
-391 411 lineto
-396 420 lineto
+newpath 305 251 moveto
+295 248 lineto
+301 257 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 401 415 moveto
-391 411 lineto
-396 420 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
-338 662 109 25 ellipse_path
+313 602 68 18 ellipse_path
stroke
gsave 10 dict begin
-243 654 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 380 638 moveto
-401 627 426 613 447 601 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 449 604 moveto
-456 596 lineto
-446 598 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 449 604 moveto
-456 596 lineto
-446 598 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
stroke
end grestore
-% cic_unification
+% grafite_engine
gsave 10 dict begin
-314 574 86 25 ellipse_path
+232 746 53 18 ellipse_path
stroke
gsave 10 dict begin
-242 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]
+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 331 637 moveto
-329 628 326 619 324 610 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 327 609 moveto
-321 600 lineto
-321 611 lineto
+newpath 236 774 moveto
+232 764 lineto
+229 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 327 609 moveto
-321 600 lineto
-321 611 lineto
+newpath 236 774 moveto
+232 764 lineto
+229 774 lineto
closepath
stroke
end grestore
-% whelp
+% grafite_parser
gsave 10 dict begin
-164 574 44 25 ellipse_path
+393 746 52 18 ellipse_path
stroke
gsave 10 dict begin
-134 566 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 292 639 moveto
-265 626 232 609 207 596 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 208 593 moveto
-198 591 lineto
-205 599 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 208 593 moveto
-198 591 lineto
-205 599 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
stroke
end grestore
-% content_pres
+% hgdome
gsave 10 dict begin
-543 662 76 25 ellipse_path
+36 602 36 18 ellipse_path
stroke
gsave 10 dict begin
-481 654 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 529 637 moveto
-524 628 519 618 514 608 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 517 606 moveto
-509 599 lineto
-511 609 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 517 606 moveto
-509 599 lineto
-511 609 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
stroke
end grestore
-% utf8_macros
+% paramodulation
gsave 10 dict begin
-665 574 75 25 ellipse_path
+104 746 57 18 ellipse_path
stroke
gsave 10 dict begin
-604 566 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 575 639 moveto
-590 628 609 615 625 603 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 627 606 moveto
-633 597 lineto
-623 600 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 627 606 moveto
-633 597 lineto
-623 600 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
stroke
end grestore
-% grafite
+% ProofChecker
gsave 10 dict begin
-601 750 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
-569 742 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
-% grafite -> content_pres
-newpath 585 726 moveto
-579 717 571 706 565 696 curveto
+% 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
+
+% 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 567 693 moveto
-559 687 lineto
-562 697 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 567 693 moveto
-559 687 lineto
-562 697 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 lineto
closepath
stroke
end grestore
-% cic_unification -> cic_proof_checking
-newpath 329 549 moveto
-335 538 342 524 346 512 curveto
-356 482 360 447 362 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 365 422 moveto
-363 412 lineto
-359 422 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 365 422 moveto
-363 412 lineto
-359 422 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
stroke
end grestore
-% tactics
+% Whelp
gsave 10 dict begin
-164 662 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
-133 654 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 196 643 moveto
-216 632 244 615 266 602 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 268 605 moveto
-275 597 lineto
-265 599 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 268 605 moveto
-275 597 lineto
-265 599 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
stroke
end grestore
-% tactics -> whelp
-newpath 164 636 moveto
-164 628 164 619 164 610 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 168 610 moveto
-164 600 lineto
-161 610 lineto
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 168 610 moveto
-164 600 lineto
-161 610 lineto
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
closepath
stroke
end grestore
-% paramodulation
+% hmysql
gsave 10 dict begin
-191 750 90 25 ellipse_path
+401 234 34 18 ellipse_path
stroke
gsave 10 dict begin
-115 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]
+379 229 moveto
+(hmysql)
+[6.96 10.8 6.96 5.52 6.96 3.84]
xshow
end grestore
end grestore
-% paramodulation -> tactics
-newpath 183 725 moveto
-180 716 177 706 175 697 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 178 696 moveto
-172 687 lineto
-172 698 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 178 696 moveto
-172 687 lineto
-172 698 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
stroke
end grestore
-% cic
+% urimanager
gsave 10 dict begin
-359 298 28 25 ellipse_path
+181 162 45 18 ellipse_path
stroke
gsave 10 dict begin
-345 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
-353 210 70 25 ellipse_path
+359 162 35 18 ellipse_path
stroke
gsave 10 dict begin
-297 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 357 272 moveto
-356 264 356 255 355 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 359 246 moveto
-355 236 lineto
-352 246 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 359 246 moveto
-355 236 lineto
-352 246 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
stroke
end grestore
-% xml
+% logger
gsave 10 dict begin
-209 122 33 25 ellipse_path
+275 162 31 18 ellipse_path
stroke
gsave 10 dict begin
-190 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 384 285 moveto
-401 274 422 257 433 236 curveto
-442 215 446 202 433 184 curveto
-410 155 311 136 253 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 253 124 moveto
-243 126 lineto
-253 130 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 253 124 moveto
-243 126 lineto
-253 130 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
stroke
end grestore
-% cic_proof_checking -> cic
-newpath 363 360 moveto
-362 352 362 343 361 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 365 334 moveto
-361 324 lineto
-358 334 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 365 334 moveto
-361 324 lineto
-358 334 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
stroke
end grestore
-% getter
+% acic_content
gsave 10 dict begin
-198 298 42 25 ellipse_path
+407 530 48 18 ellipse_path
stroke
gsave 10 dict begin
-170 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 320 362 moveto
-295 349 264 332 239 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 240 317 moveto
-230 315 lineto
-237 323 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 240 317 moveto
-230 315 lineto
-237 323 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
stroke
end grestore
-% getter -> urimanager
-newpath 229 280 moveto
-251 268 281 250 306 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 308 240 moveto
-315 232 lineto
-305 234 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 308 240 moveto
-315 232 lineto
-305 234 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
stroke
end grestore
-% registry
+% grafite
gsave 10 dict begin
-83 210 52 25 ellipse_path
+243 674 31 18 ellipse_path
stroke
gsave 10 dict begin
-45 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 172 278 moveto
-157 266 137 251 119 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 121 235 moveto
-111 232 lineto
-117 241 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 121 235 moveto
-111 232 lineto
-117 241 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
stroke
end grestore
-% metadata
+% tactics
gsave 10 dict begin
-83 386 58 25 ellipse_path
+184 602 31 18 ellipse_path
stroke
gsave 10 dict begin
-39 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 127 369 moveto
-135 366 143 363 151 360 curveto
-210 340 279 319 321 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 322 311 moveto
-331 305 lineto
-320 305 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 322 311 moveto
-331 305 lineto
-320 305 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
stroke
end grestore
-% metadata -> getter
-newpath 112 364 moveto
-127 352 147 337 164 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 166 327 moveto
-172 318 lineto
-162 321 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 166 327 moveto
-172 318 lineto
-162 321 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
stroke
end grestore
-% hmysql
+% sheath
gsave 10 dict begin
-83 298 50 25 ellipse_path
+382 674 31 18 ellipse_path
stroke
gsave 10 dict begin
-47 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 83 360 moveto
-83 352 83 343 83 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 87 334 moveto
-83 324 lineto
-80 334 lineto
+newpath 389 702 moveto
+385 692 lineto
+383 702 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 87 334 moveto
-83 324 lineto
-80 334 lineto
+newpath 389 702 moveto
+385 692 lineto
+383 702 lineto
closepath
stroke
end grestore
-% whelp -> metadata
-newpath 165 548 moveto
-164 522 161 480 145 448 curveto
-139 436 129 425 119 415 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 122 413 moveto
-112 408 lineto
-117 418 lineto
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 122 413 moveto
-112 408 lineto
-117 418 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
-209 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
-181 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
-209 210 54 25 ellipse_path
+521 530 48 18 ellipse_path
stroke
gsave 10 dict begin
-169 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 209 184 moveto
-209 176 209 167 209 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 213 158 moveto
-209 148 lineto
-206 158 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 213 158 moveto
-209 148 lineto
-206 158 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
stroke
end grestore
-% hmysql -> registry
-newpath 83 272 moveto
-83 264 83 255 83 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 87 246 moveto
-83 236 lineto
-80 246 lineto
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 87 246 moveto
-83 236 lineto
-80 246 lineto
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
stroke
end grestore
-% registry -> xml
-newpath 113 189 moveto
-132 176 157 159 176 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 178 148 moveto
-184 139 lineto
-174 142 lineto
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 178 148 moveto
-184 139 lineto
-174 142 lineto
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
closepath
stroke
end grestore
-% xml -> extlib
-newpath 209 96 moveto
-209 88 209 79 209 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 213 70 moveto
-209 60 lineto
-206 70 lineto
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 213 70 moveto
-209 60 lineto
-206 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 136 512 moveto
-0 512 lineto
-0 448 lineto
-136 448 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 136 512 moveto
-0 512 lineto
-0 448 lineto
-136 448 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 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
-% DependencyAnalyzer -> metadata
-newpath 73 448 moveto
-74 439 76 430 77 422 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 80 422 moveto
-79 412 lineto
-74 421 lineto
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 80 422 moveto
-79 412 lineto
-74 421 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 236 404 moveto
-160 404 lineto
-160 368 lineto
-236 368 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 236 404 moveto
-160 404 lineto
-160 368 lineto
-236 368 lineto
-closepath
+337 456 32 18 ellipse_path
stroke
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-168 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 198 368 moveto
-198 358 198 346 198 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 202 334 moveto
-198 324 lineto
-195 334 lineto
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 202 334 moveto
-198 324 lineto
-195 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 363 848 moveto
-285 848 lineto
-285 812 lineto
-363 812 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 363 848 moveto
-285 848 lineto
-285 812 lineto
-363 812 lineto
-closepath
+363 380 36 18 ellipse_path
stroke
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-292 822 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 326 812 moveto
-328 785 332 733 335 698 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 338 698 moveto
-336 688 lineto
-332 698 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 338 698 moveto
-336 688 lineto
-332 698 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
stroke
end grestore
-% Matita -> grafite
-newpath 363 823 moveto
-408 814 483 797 545 776 curveto
-549 774 553 773 556 771 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 558 774 moveto
-566 767 lineto
-555 767 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 558 774 moveto
-566 767 lineto
-555 767 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
stroke
end grestore
-% Matita -> paramodulation
-newpath 294 812 moveto
-278 802 257 789 239 778 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 240 775 moveto
-230 773 lineto
-237 781 lineto
+newpath 227 395 moveto
+217 393 lineto
+224 401 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 240 775 moveto
-230 773 lineto
-237 781 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 337 512 moveto
-241 512 lineto
-241 448 lineto
-337 448 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 337 512 moveto
-241 512 lineto
-241 448 lineto
-337 448 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
-262 486 moveto
-(Proof)
-[13.44 7.92 12 12 7.92]
-xshow
-249 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 315 448 moveto
-323 439 331 429 339 419 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 342 421 moveto
-345 411 lineto
-336 417 lineto
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 342 421 moveto
-345 411 lineto
-336 417 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 536 768 moveto
-450 768 lineto
-450 732 lineto
-536 732 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 536 768 moveto
-450 768 lineto
-450 732 lineto
-536 732 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
-457 742 moveto
-(Uwobo)
-[17.28 17.28 12 12 12]
-xshow
-end grestore
end grestore
-% Uwobo -> content_pres
-newpath 503 732 moveto
-509 722 517 708 524 696 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 527 697 moveto
-529 687 lineto
-521 694 lineto
+newpath 180 190 moveto
+179 180 lineto
+174 189 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 527 697 moveto
-529 687 lineto
-521 694 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 432 768 moveto
-352 768 lineto
-352 732 lineto
-432 732 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 432 768 moveto
-352 768 lineto
-352 732 lineto
-432 732 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
-359 742 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 381 732 moveto
-375 722 366 708 359 696 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 362 694 moveto
-354 687 lineto
-356 697 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 362 694 moveto
-354 687 lineto
-356 697 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 lineto
closepath
stroke
end grestore
-% Whelp -> content_pres
-newpath 423 732 moveto
-444 720 472 703 496 689 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 498 692 moveto
-505 684 lineto
-495 686 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 498 692 moveto
-505 684 lineto
-495 686 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
stroke
end grestore
projects / helm.git / blobdiff