%!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 680 885
+%%BoundingBox: 35 35 606 873
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 680 885
+%%PageBoundingBox: 36 36 606 873
%%PageOrientation: Portrait
gsave
-35 35 645 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
-497 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
-436 566 moveto
-(acic_content)
-[10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
+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
-432 480 54 25 ellipse_path
+191 380 38 18 ellipse_path
stroke
gsave 10 dict begin
-392 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 480 549 moveto
-472 538 463 525 455 513 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 457 510 moveto
-449 504 lineto
-452 514 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 457 510 moveto
-449 504 lineto
-452 514 lineto
+newpath 211 403 moveto
+203 397 lineto
+206 407 lineto
closepath
stroke
end grestore
-% cic_proof_checking
+% Getter
gsave 10 dict begin
-441 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
-345 378 moveto
-(cic_proof_checking)
-[10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
+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 434 454 moveto
-435 444 436 433 437 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 440 422 moveto
-438 412 lineto
-434 422 lineto
+newpath 305 251 moveto
+295 248 lineto
+301 257 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 440 422 moveto
-438 412 lineto
-434 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
-318 662 109 25 ellipse_path
+313 602 68 18 ellipse_path
stroke
gsave 10 dict begin
-223 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 365 639 moveto
-390 627 420 612 445 599 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 446 602 moveto
-454 595 lineto
-443 596 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 446 602 moveto
-454 595 lineto
-443 596 lineto
+newpath 319 630 moveto
+315 620 lineto
+313 630 lineto
closepath
stroke
end grestore
-% cic_unification
+% grafite_engine
gsave 10 dict begin
-316 574 86 25 ellipse_path
+232 746 53 18 ellipse_path
stroke
gsave 10 dict begin
-244 566 moveto
-(cic_unification)
-[10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
+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 317 636 moveto
-317 628 317 619 317 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 321 610 moveto
-317 600 lineto
-314 610 lineto
+newpath 236 774 moveto
+232 764 lineto
+229 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 321 610 moveto
-317 600 lineto
-314 610 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 276 638 moveto
-254 626 227 610 205 597 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 206 594 moveto
-196 592 lineto
-203 600 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 206 594 moveto
-196 592 lineto
-203 600 lineto
+newpath 353 767 moveto
+361 760 lineto
+350 760 lineto
closepath
stroke
end grestore
-% content_pres
+% hgdome
gsave 10 dict begin
-523 662 76 25 ellipse_path
+36 602 36 18 ellipse_path
stroke
gsave 10 dict begin
-461 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 515 637 moveto
-513 628 510 619 508 610 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 511 609 moveto
-505 600 lineto
-505 611 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 511 609 moveto
-505 600 lineto
-505 611 lineto
+newpath 30 631 moveto
+30 620 lineto
+24 629 lineto
closepath
stroke
end grestore
-% grafite
+% paramodulation
gsave 10 dict begin
-554 750 46 25 ellipse_path
+104 746 57 18 ellipse_path
stroke
gsave 10 dict begin
-522 742 moveto
-(grafite)
-[12 7.92 10.56 7.92 6.72 6.72 10.56]
+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
-% grafite -> content_pres
-newpath 545 725 moveto
-542 716 539 706 535 697 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 538 696 moveto
-532 687 lineto
-532 698 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 538 696 moveto
-532 687 lineto
-532 698 lineto
+newpath 142 764 moveto
+132 762 lineto
+139 770 lineto
closepath
stroke
end grestore
-% cic_unification -> cic_proof_checking
-newpath 323 549 moveto
-330 522 345 479 368 448 curveto
-376 437 387 426 397 417 curveto
-stroke
+% ProofChecker
gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 400 419 moveto
-405 410 lineto
-395 414 lineto
+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.000 0.000 0.000 edgecolor
-newpath 400 419 moveto
-405 410 lineto
-395 414 lineto
+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
-% tactics
+% cic_proof_checking
gsave 10 dict begin
-144 662 45 25 ellipse_path
+268 306 68 18 ellipse_path
stroke
gsave 10 dict begin
-113 654 moveto
-(tactics)
-[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
+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
-% tactics -> cic_unification
-newpath 178 645 moveto
-202 632 236 615 264 601 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 266 604 moveto
-273 596 lineto
-263 598 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 266 604 moveto
-273 596 lineto
-263 598 lineto
+newpath 275 333 moveto
+270 324 lineto
+269 334 lineto
closepath
stroke
end grestore
-% tactics -> whelp
-newpath 150 637 moveto
-152 628 154 618 156 609 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 159 609 moveto
-158 599 lineto
-153 608 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 159 609 moveto
-158 599 lineto
-153 608 lineto
+newpath 460 630 moveto
+456 620 lineto
+453 630 lineto
closepath
stroke
end grestore
-% paramodulation
+% Whelp
gsave 10 dict begin
-151 750 90 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
-75 742 moveto
-(paramodulation)
-[12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
+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
-% paramodulation -> tactics
-newpath 149 724 moveto
-148 716 148 707 147 698 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 150 698 moveto
-146 688 lineto
-144 698 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 150 698 moveto
-146 688 lineto
-144 698 lineto
+newpath 397 774 moveto
+393 764 lineto
+390 774 lineto
closepath
stroke
end grestore
% cic
gsave 10 dict begin
-412 298 28 25 ellipse_path
+172 234 27 18 ellipse_path
stroke
gsave 10 dict begin
-398 290 moveto
+163 229 moveto
(cic)
-[10.56 6.72 10.56]
+[6.24 3.84 6.24]
xshow
end grestore
end grestore
-% urimanager
+% metadata -> cic
+newpath 189 362 moveto
+185 337 179 292 175 262 curveto
+stroke
gsave 10 dict begin
-332 210 70 25 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 178 262 moveto
+174 252 lineto
+172 262 lineto
+closepath
stroke
+end grestore
+
+% hmysql
gsave 10 dict begin
-276 202 moveto
-(urimanager)
-[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
+401 234 34 18 ellipse_path
+stroke
+gsave 10 dict begin
+379 229 moveto
+(hmysql)
+[6.96 10.8 6.96 5.52 6.96 3.84]
xshow
end grestore
end grestore
-% cic -> urimanager
-newpath 394 278 moveto
-384 267 372 254 361 241 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 364 239 moveto
-354 234 lineto
-359 244 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 364 239 moveto
-354 234 lineto
-359 244 lineto
+newpath 419 259 moveto
+411 252 lineto
+413 262 lineto
closepath
stroke
end grestore
-% xml
+% urimanager
gsave 10 dict begin
-431 122 33 25 ellipse_path
+181 162 45 18 ellipse_path
stroke
gsave 10 dict begin
-412 114 moveto
-(xml)
-[12 18.72 6.72]
+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
-% cic -> xml
-newpath 415 272 moveto
-418 242 424 192 427 158 curveto
+% 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 430 158 moveto
-428 148 lineto
-424 158 lineto
+newpath 212 181 moveto
+202 178 lineto
+208 187 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 430 158 moveto
-428 148 lineto
-424 158 lineto
+newpath 212 181 moveto
+202 178 lineto
+208 187 lineto
closepath
stroke
end grestore
-% cic_proof_checking -> cic
-newpath 433 361 moveto
-430 352 427 342 423 333 curveto
+% registry
+gsave 10 dict begin
+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
+
+% 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 426 332 moveto
-420 323 lineto
-420 334 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 426 332 moveto
-420 323 lineto
-420 334 lineto
+newpath 336 187 moveto
+341 178 lineto
+331 182 lineto
closepath
stroke
end grestore
-% getter
+% logger
gsave 10 dict begin
-274 298 42 25 ellipse_path
+275 162 31 18 ellipse_path
stroke
gsave 10 dict begin
-246 290 moveto
-(getter)
-[12 10.56 6.72 6.72 10.56 7.92]
+257 157 moveto
+(logger)
+[3.84 6.96 6.96 6.96 6.24 4.56]
xshow
end grestore
end grestore
-% cic_proof_checking -> getter
-newpath 396 362 moveto
-371 349 340 332 315 320 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 316 317 moveto
-306 315 lineto
-313 323 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 316 317 moveto
-306 315 lineto
-313 323 lineto
+newpath 279 190 moveto
+275 180 lineto
+272 190 lineto
closepath
stroke
end grestore
-% getter -> urimanager
-newpath 290 274 moveto
-296 265 304 254 310 244 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 313 245 moveto
-316 235 lineto
-308 241 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 313 245 moveto
-316 235 lineto
-308 241 lineto
+newpath 299 557 moveto
+293 548 lineto
+293 559 lineto
closepath
stroke
end grestore
-% registry
+% acic_content
gsave 10 dict begin
-190 210 52 25 ellipse_path
+407 530 48 18 ellipse_path
stroke
gsave 10 dict begin
-152 202 moveto
-(registry)
-[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
+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
-% getter -> registry
-newpath 253 276 moveto
-243 265 230 252 219 240 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 222 238 moveto
-212 233 lineto
-217 243 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 222 238 moveto
-212 233 lineto
-217 243 lineto
+newpath 380 555 moveto
+386 546 lineto
+376 549 lineto
closepath
stroke
end grestore
-% metadata
+% whelp
gsave 10 dict begin
-159 386 58 25 ellipse_path
+183 530 30 18 ellipse_path
stroke
gsave 10 dict begin
-115 378 moveto
-(metadata)
-[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+165 525 moveto
+(whelp)
+[10.08 6.96 6.24 3.84 6.96]
xshow
end grestore
end grestore
-% metadata -> cic
-newpath 203 369 moveto
-211 366 219 363 227 360 curveto
-277 342 337 322 374 310 curveto
+% 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 375 313 moveto
-384 307 lineto
-373 307 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 375 313 moveto
-384 307 lineto
-373 307 lineto
+newpath 215 544 moveto
+205 542 lineto
+212 550 lineto
closepath
stroke
end grestore
-% metadata -> getter
-newpath 188 364 moveto
-203 352 223 337 240 324 curveto
+% grafite
+gsave 10 dict begin
+243 674 31 18 ellipse_path
+stroke
+gsave 10 dict begin
+224 669 moveto
+(grafite)
+[6.96 4.56 6.24 4.56 3.84 3.84 6.24]
+xshow
+end grestore
+end grestore
+
+% 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 242 327 moveto
-248 318 lineto
-238 321 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 242 327 moveto
-248 318 lineto
-238 321 lineto
+newpath 242 702 moveto
+240 692 lineto
+236 702 lineto
closepath
stroke
end grestore
-% hmysql
+% tactics
gsave 10 dict begin
-161 298 50 25 ellipse_path
+184 602 31 18 ellipse_path
stroke
gsave 10 dict begin
-125 290 moveto
-(hmysql)
-[12 18.72 12 9.36 12 6.72]
+165 597 moveto
+(tactics)
+[3.84 6.24 6.24 3.84 3.84 6.24 5.52]
xshow
end grestore
end grestore
-% metadata -> hmysql
-newpath 160 360 moveto
-160 352 160 343 160 334 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 164 334 moveto
-160 324 lineto
-157 334 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 164 334 moveto
-160 324 lineto
-157 334 lineto
+newpath 191 629 moveto
+186 620 lineto
+185 630 lineto
closepath
stroke
end grestore
-% whelp -> metadata
-newpath 163 548 moveto
-162 515 161 459 160 422 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 164 422 moveto
-160 412 lineto
-157 422 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 164 422 moveto
-160 412 lineto
-157 422 lineto
+newpath 278 687 moveto
+267 686 lineto
+275 693 lineto
closepath
stroke
end grestore
-% extlib
+% sheath
gsave 10 dict begin
-431 34 42 25 ellipse_path
+382 674 31 18 ellipse_path
stroke
gsave 10 dict begin
-403 26 moveto
-(extlib)
-[10.56 12 6.72 6.72 6.72 12]
+364 669 moveto
+(sheath)
+[5.52 6.96 6.24 6.24 3.84 6.96]
xshow
end grestore
end grestore
-% hgdome
+% 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 389 702 moveto
+385 692 lineto
+383 702 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 389 702 moveto
+385 692 lineto
+383 702 lineto
+closepath
+stroke
+end grestore
+
+% xml
gsave 10 dict begin
-571 210 54 25 ellipse_path
+108 90 27 18 ellipse_path
stroke
gsave 10 dict begin
-531 202 moveto
-(hgdome)
-[12 12 12 12 18.72 10.56]
+96 85 moveto
+(xml)
+[6.96 10.8 3.84]
xshow
end grestore
end grestore
% hgdome -> xml
-newpath 538 189 moveto
-517 176 488 158 466 144 curveto
+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 468 141 moveto
-458 139 lineto
-465 147 lineto
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 468 141 moveto
-458 139 lineto
-465 147 lineto
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
closepath
stroke
end grestore
-% hmysql -> registry
-newpath 169 273 moveto
-172 264 175 254 179 245 curveto
+% 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 182 246 moveto
-182 235 lineto
-176 244 lineto
+newpath 172 629 moveto
+174 619 lineto
+166 626 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 182 246 moveto
-182 235 lineto
-176 244 lineto
+newpath 172 629 moveto
+174 619 lineto
+166 626 lineto
closepath
stroke
end grestore
-% registry -> xml
-newpath 229 193 moveto
-237 190 245 187 252 184 curveto
-299 166 354 147 390 135 curveto
+% cic_proof_checking -> getter
+newpath 270 288 moveto
+271 280 271 271 272 262 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 391 138 moveto
-400 132 lineto
-389 132 lineto
+newpath 275 262 moveto
+273 252 lineto
+269 262 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 391 138 moveto
-400 132 lineto
-389 132 lineto
+newpath 275 262 moveto
+273 252 lineto
+269 262 lineto
closepath
stroke
end grestore
-% xml -> extlib
-newpath 431 96 moveto
-431 88 431 79 431 70 curveto
+% cic_proof_checking -> cic
+newpath 245 289 moveto
+231 279 213 265 198 254 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 435 70 moveto
-431 60 lineto
-428 70 lineto
+newpath 200 251 moveto
+190 248 lineto
+196 257 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 435 70 moveto
-431 60 lineto
-428 70 lineto
+newpath 200 251 moveto
+190 248 lineto
+196 257 lineto
closepath
stroke
end grestore
-% DependencyAnalyzer
+% content_pres -> acic_content
+newpath 442 584 moveto
+437 576 430 566 424 556 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 427 554 moveto
+418 548 lineto
+421 558 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 427 554 moveto
+418 548 lineto
+421 558 lineto
closepath
stroke
+end grestore
+
+% utf8_macros
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]
+521 530 48 18 ellipse_path
+stroke
+gsave 10 dict begin
+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
-% DependencyAnalyzer -> metadata
-newpath 99 448 moveto
-109 438 119 427 129 417 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 131 420 moveto
-136 410 lineto
-126 415 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 131 420 moveto
-136 410 lineto
-126 415 lineto
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
closepath
stroke
end grestore
-% Getter
+% 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
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 312 404 moveto
-236 404 lineto
-236 368 lineto
-312 368 lineto
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 312 404 moveto
-236 404 lineto
-236 368 lineto
-312 368 lineto
+0.000 0.000 0.000 edgecolor
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
closepath
stroke
+end grestore
+
+% sheath -> cic_disambiguation
+newpath 367 658 moveto
+358 649 347 637 337 627 curveto
+stroke
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-244 378 moveto
-(Getter)
-[17.28 10.56 6.72 6.72 10.56 7.92]
-xshow
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
+closepath
+stroke
end grestore
+
+% 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 432 629 moveto
+437 619 lineto
+427 624 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
+closepath
+stroke
end grestore
-% Getter -> getter
-newpath 274 368 moveto
-274 358 274 346 274 334 curveto
+% tactics -> cic_unification
+newpath 204 588 moveto
+218 578 238 564 255 553 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 278 334 moveto
-274 324 lineto
-271 334 lineto
+newpath 257 556 moveto
+263 547 lineto
+253 550 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 278 334 moveto
-274 324 lineto
-271 334 lineto
+newpath 257 556 moveto
+263 547 lineto
+253 550 lineto
closepath
stroke
end grestore
-% Matita
+% tactics -> whelp
+newpath 184 584 moveto
+183 576 183 567 183 558 curveto
+stroke
gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 454 848 moveto
-376 848 lineto
-376 812 lineto
-454 812 lineto
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
closepath
fill
-0.584 0.220 0.933 nodecolor
-newpath 454 848 moveto
-376 848 lineto
-376 812 lineto
-454 812 lineto
+0.000 0.000 0.000 edgecolor
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
closepath
stroke
+end grestore
+
+% library
gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-383 822 moveto
-(Matita)
-[21.36 10.56 6.72 6.72 6.72 10.56]
+337 456 32 18 ellipse_path
+stroke
+gsave 10 dict begin
+318 451 moveto
+(library)
+[3.84 3.84 6.96 4.56 6.24 4.56 6.96]
xshow
end grestore
end grestore
-% Matita -> cic_disambiguation
-newpath 376 815 moveto
-343 801 300 783 296 776 curveto
-281 752 289 721 299 696 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 302 698 moveto
-303 687 lineto
-296 695 lineto
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 302 698 moveto
-303 687 lineto
-296 695 lineto
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
closepath
stroke
end grestore
-% Matita -> grafite
-newpath 447 812 moveto
-466 801 491 786 512 774 curveto
+% cic_acic
+gsave 10 dict begin
+363 380 36 18 ellipse_path
+stroke
+gsave 10 dict begin
+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
+
+% 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 514 777 moveto
-521 769 lineto
-511 771 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 514 777 moveto
-521 769 lineto
-511 771 lineto
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
closepath
stroke
end grestore
-% Matita -> paramodulation
-newpath 376 818 moveto
-336 806 272 787 223 772 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 224 769 moveto
-213 769 lineto
-222 775 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 224 769 moveto
-213 769 lineto
-222 775 lineto
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
closepath
stroke
end grestore
-% Matita -> hgdome
-newpath 454 827 moveto
-524 814 562 831 610 776 curveto
-643 737 629 713 629 662 curveto
-629 662 629 662 629 386 curveto
-629 334 606 278 590 244 curveto
+% 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 593 242 moveto
-585 235 lineto
-587 245 lineto
+newpath 227 395 moveto
+217 393 lineto
+224 401 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 593 242 moveto
-585 235 lineto
-587 245 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 601 512 moveto
-505 512 lineto
-505 448 lineto
-601 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 601 512 moveto
-505 512 lineto
-505 448 lineto
-601 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
-526 486 moveto
-(Proof)
-[13.44 7.92 12 12 7.92]
-xshow
-513 458 moveto
-(Checker)
-[16.08 12 10.56 10.56 12 10.56 7.92]
-xshow
-end grestore
end grestore
-% ProofChecker -> cic_proof_checking
-newpath 515 448 moveto
-503 438 490 427 478 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 480 414 moveto
-470 411 lineto
-476 420 lineto
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 480 414 moveto
-470 411 lineto
-476 420 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 489 768 moveto
-403 768 lineto
-403 732 lineto
-489 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 489 768 moveto
-403 768 lineto
-403 732 lineto
-489 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
-410 742 moveto
-(Uwobo)
-[17.28 17.28 12 12 12]
-xshow
-end grestore
end grestore
-% Uwobo -> content_pres
-newpath 462 732 moveto
-472 721 484 707 495 695 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 498 697 moveto
-502 687 lineto
-493 692 lineto
+newpath 180 190 moveto
+179 180 lineto
+174 189 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 498 697 moveto
-502 687 lineto
-493 692 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 385 768 moveto
-305 768 lineto
-305 732 lineto
-385 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 385 768 moveto
-305 768 lineto
-305 732 lineto
-385 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
-312 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 339 732 moveto
-336 722 332 709 329 698 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 332 697 moveto
-326 688 lineto
-326 699 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 332 697 moveto
-326 688 lineto
-326 699 lineto
+newpath 112 46 moveto
+108 36 lineto
+105 46 lineto
closepath
stroke
end grestore
-% Whelp -> content_pres
-newpath 378 732 moveto
-383 729 389 726 394 724 curveto
-418 712 446 699 469 687 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 470 690 moveto
-478 683 lineto
-467 684 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 470 690 moveto
-478 683 lineto
-467 684 lineto
+newpath 144 94 moveto
+134 95 lineto
+143 100 lineto
closepath
stroke
end grestore
projects / helm.git / blobdiff