X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fpics%2Flibraries-clusters.ps;fp=helm%2Fpapers%2Fmatita%2Fpics%2Flibraries-clusters.ps;h=0000000000000000000000000000000000000000;hb=85747dc6d0578b484544bb8120aad7aa89813f27;hp=5a621271a6ce03564b2a2b0520eeb4330d1995d2;hpb=c1986639552e01334a05db4236627a6c1ffacf21;p=helm.git diff --git a/helm/papers/matita/pics/libraries-clusters.ps b/helm/papers/matita/pics/libraries-clusters.ps deleted file mode 100644 index 5a621271a..000000000 --- a/helm/papers/matita/pics/libraries-clusters.ps +++ /dev/null @@ -1,1836 +0,0 @@ -%!PS-Adobe-2.0 -%%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005) -%%For: (zacchiro) Stefano Zacchiroli,,, -%%Title: G -%%Pages: (atend) -%%BoundingBox: 35 35 1103 1865 -%%EndComments -save -%%BeginProlog -/DotDict 200 dict def -DotDict begin - -/setupLatin1 { -mark -/EncodingVector 256 array def - EncodingVector 0 - -ISOLatin1Encoding 0 255 getinterval putinterval - -EncodingVector - dup 306 /AE - dup 301 /Aacute - dup 302 /Acircumflex - dup 304 /Adieresis - dup 300 /Agrave - dup 305 /Aring - dup 303 /Atilde - dup 307 /Ccedilla - dup 311 /Eacute - dup 312 /Ecircumflex - dup 313 /Edieresis - dup 310 /Egrave - dup 315 /Iacute - dup 316 /Icircumflex - dup 317 /Idieresis - dup 314 /Igrave - dup 334 /Udieresis - dup 335 /Yacute - dup 376 /thorn - dup 337 /germandbls - dup 341 /aacute - dup 342 /acircumflex - dup 344 /adieresis - dup 346 /ae - dup 340 /agrave - dup 345 /aring - dup 347 /ccedilla - dup 351 /eacute - dup 352 /ecircumflex - dup 353 /edieresis - dup 350 /egrave - dup 355 /iacute - dup 356 /icircumflex - dup 357 /idieresis - dup 354 /igrave - dup 360 /dcroat - dup 361 /ntilde - dup 363 /oacute - dup 364 /ocircumflex - dup 366 /odieresis - dup 362 /ograve - dup 365 /otilde - dup 370 /oslash - dup 372 /uacute - dup 373 /ucircumflex - dup 374 /udieresis - dup 371 /ugrave - dup 375 /yacute - dup 377 /ydieresis - -% Set up ISO Latin 1 character encoding -/starnetISO { - dup dup findfont dup length dict begin - { 1 index /FID ne { def }{ pop pop } ifelse - } forall - /Encoding EncodingVector def - currentdict end definefont -} def -/Times-Roman starnetISO def -/Times-Italic starnetISO def -/Times-Bold starnetISO def -/Times-BoldItalic starnetISO def -/Helvetica starnetISO def -/Helvetica-Oblique starnetISO def -/Helvetica-Bold starnetISO def -/Helvetica-BoldOblique starnetISO def -/Courier starnetISO def -/Courier-Oblique starnetISO def -/Courier-Bold starnetISO def -/Courier-BoldOblique starnetISO def -cleartomark -} bind def - -%%BeginResource: procset graphviz 0 0 -/coord-font-family /Times-Roman def -/default-font-family /Times-Roman def -/coordfont coord-font-family findfont 8 scalefont def - -/InvScaleFactor 1.0 def -/set_scale { - dup 1 exch div /InvScaleFactor exch def - dup scale -} bind def - -% styles -/solid { [] 0 setdash } bind def -/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def -/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def -/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def -/bold { 2 setlinewidth } bind def -/filled { } bind def -/unfilled { } bind def -/rounded { } bind def -/diagonals { } bind def - -% hooks for setting color -/nodecolor { sethsbcolor } bind def -/edgecolor { sethsbcolor } bind def -/graphcolor { sethsbcolor } bind def -/nopcolor {pop pop pop} bind def - -/beginpage { % i j npages - /npages exch def - /j exch def - /i exch def - /str 10 string def - npages 1 gt { - gsave - coordfont setfont - 0 0 moveto - (\() show i str cvs show (,) show j str cvs show (\)) show - grestore - } if -} bind def - -/set_font { - findfont exch - scalefont setfont -} def - -% draw aligned label in bounding box aligned to current point -/alignedtext { % width adj text - /text exch def - /adj exch def - /width exch def - gsave - width 0 gt { - text stringwidth pop adj mul 0 rmoveto - } if - [] 0 setdash - text show - grestore -} def - -/boxprim { % xcorner ycorner xsize ysize - 4 2 roll - moveto - 2 copy - exch 0 rlineto - 0 exch rlineto - pop neg 0 rlineto - closepath -} bind def - -/ellipse_path { - /ry exch def - /rx exch def - /y exch def - /x exch def - matrix currentmatrix - newpath - x y translate - rx ry scale - 0 0 1 0 360 arc - setmatrix -} bind def - -/endpage { showpage } bind def -/showpage { } def - -/layercolorseq - [ % layer color sequence - darkest to lightest - [0 0 0] - [.2 .8 .8] - [.4 .8 .8] - [.6 .8 .8] - [.8 .8 .8] - ] -def - -/layerlen layercolorseq length def - -/setlayer {/maxlayer exch def /curlayer exch def - layercolorseq curlayer 1 sub layerlen mod get - aload pop sethsbcolor - /nodecolor {nopcolor} def - /edgecolor {nopcolor} def - /graphcolor {nopcolor} def -} bind def - -/onlayer { curlayer ne {invis} if } def - -/onlayers { - /myupper exch def - /mylower exch def - curlayer mylower lt - curlayer myupper gt - or - {invis} if -} def - -/curlayer 0 def - -%%EndResource -%%EndProlog -%%BeginSetup -14 default-font-family set_font -1 setmiterlimit -% /arrowlength 10 def -% /arrowwidth 5 def - -% make sure pdfmark is harmless for PS-interpreters other than Distiller -/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse -% make '<<' and '>>' safe on PS Level 1 devices -/languagelevel where {pop languagelevel}{1} ifelse -2 lt { - userdict (<<) cvn ([) cvn load put - userdict (>>) cvn ([) cvn load put -} if - -%%EndSetup -%%Page: 1 1 -%%PageBoundingBox: 36 36 1103 1865 -%%PageOrientation: Portrait -gsave -35 35 1068 1830 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 -% cluster_presentation -gsave 10 dict begin -filled -0.000 0.000 1.000 sethsbcolor -0.000 0.000 0.929 sethsbcolor -newpath 498 1136 moveto -930 1136 lineto -930 1736 lineto -498 1736 lineto -closepath -fill -0.000 0.000 1.000 sethsbcolor -newpath 498 1136 moveto -930 1136 lineto -930 1736 lineto -498 1736 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 sethsbcolor -509 1174 moveto -(Terms at the content and presentation level) -[14.64 10.56 7.92 18.72 9.36 6 10.56 6.72 6 6.72 12 10.56 6 10.56 12 12 6.72 10.56 12 6.72 6 10.56 12 12 6 12 7.92 10.56 9.36 10.56 12 6.72 10.56 6.72 6.72 12 12 6 6.72 10.56 12 10.56 6.72] -xshow -667 1146 moveto -(12.1 klocs) -[12 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore -% cluster_partially -gsave 10 dict begin -filled -0.000 0.000 1.000 sethsbcolor -0.000 0.000 0.929 sethsbcolor -newpath 68 1200 moveto -372 1200 lineto -372 1628 lineto -68 1628 lineto -closepath -fill -0.000 0.000 1.000 sethsbcolor -newpath 68 1200 moveto -372 1200 lineto -372 1628 lineto -68 1628 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 sethsbcolor -76 1602 moveto -(Partially specified terms) -[13.44 10.56 7.92 6.72 6.72 10.56 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36] -xshow -144 1574 moveto -(15.1 klocs) -[12 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore -% cluster_fully -gsave 10 dict begin -filled -0.000 0.000 1.000 sethsbcolor -0.000 0.000 0.929 sethsbcolor -newpath 280 444 moveto -574 444 lineto -574 1128 lineto -280 1128 lineto -closepath -fill -0.000 0.000 1.000 sethsbcolor -newpath 280 444 moveto -574 444 lineto -574 1128 lineto -280 1128 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 sethsbcolor -287 482 moveto -(Fully specified terms) -[13.44 12 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36] -xshow -340 454 moveto -(18.9 klocs) -[12 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore -% cluster_utilities -gsave 10 dict begin -filled -0.000 0.000 1.000 sethsbcolor -0.000 0.000 0.929 sethsbcolor -newpath 582 16 moveto -1058 16 lineto -1058 616 lineto -582 616 lineto -closepath -fill -0.000 0.000 1.000 sethsbcolor -newpath 582 16 moveto -1058 16 lineto -1058 616 lineto -582 616 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 sethsbcolor -968 54 moveto -(Utilities) -[17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36] -xshow -963 26 moveto -(2.8 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% acic_content -gsave 10 dict begin -622 1254 81 45 ellipse_path -stroke -gsave 10 dict begin -561 1260 moveto -(acic_content) -[10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72] -xshow -578 1232 moveto -(3.6 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic_acic -gsave 10 dict begin -353 946 64 45 ellipse_path -stroke -gsave 10 dict begin -313 952 moveto -(cic_acic) -[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56] -xshow -309 924 moveto -(2.4 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% acic_content -> cic_acic -newpath 615 1209 moveto -606 1146 588 1041 575 1028 curveto -528 979 490 1018 427 992 curveto -421 989 415 986 409 983 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 410 980 moveto -400 978 lineto -407 986 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 410 980 moveto -400 978 lineto -407 986 lineto -closepath -stroke -end grestore - -% cic_disambiguation -gsave 10 dict begin -622 1382 115 45 ellipse_path -stroke -gsave 10 dict begin -527 1388 moveto -(cic_disambiguation) -[10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12] -xshow -579 1360 moveto -(1.4 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic_disambiguation -> acic_content -newpath 622 1336 moveto -622 1328 622 1319 622 1310 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 626 1310 moveto -622 1300 lineto -619 1310 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 626 1310 moveto -622 1300 lineto -619 1310 lineto -closepath -stroke -end grestore - -% cic_unification -gsave 10 dict begin -271 1254 92 45 ellipse_path -stroke -gsave 10 dict begin -199 1260 moveto -(cic_unification) -[10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12] -xshow -227 1232 moveto -(3.4 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic_disambiguation -> cic_unification -newpath 537 1351 moveto -481 1331 411 1305 356 1285 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 357 1281 moveto -346 1281 lineto -354 1288 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 357 1281 moveto -346 1281 lineto -354 1288 lineto -closepath -stroke -end grestore - -% whelp -gsave 10 dict begin -501 1074 64 45 ellipse_path -stroke -gsave 10 dict begin -471 1080 moveto -(whelp) -[17.28 12 10.56 6.72 12] -xshow -457 1052 moveto -(0.3 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic_disambiguation -> whelp -newpath 566 1342 moveto -552 1330 540 1316 531 1300 curveto -503 1247 498 1177 498 1130 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 502 1130 moveto -498 1120 lineto -495 1130 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 502 1130 moveto -498 1120 lineto -495 1130 lineto -closepath -stroke -end grestore - -% content_pres -gsave 10 dict begin -839 1382 82 45 ellipse_path -stroke -gsave 10 dict begin -777 1388 moveto -(content_pres) -[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36] -xshow -795 1360 moveto -(4.5 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% content_pres -> acic_content -newpath 782 1349 moveto -753 1332 717 1310 687 1292 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 688 1289 moveto -678 1287 lineto -685 1295 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 688 1289 moveto -678 1287 lineto -685 1295 lineto -closepath -stroke -end grestore - -% utf8_macros -gsave 10 dict begin -968 562 81 45 ellipse_path -stroke -gsave 10 dict begin -907 568 moveto -(utf8_macros) -[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36] -xshow -924 540 moveto -(0.2 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% content_pres -> utf8_macros -newpath 844 1336 moveto -850 1276 860 1167 860 1074 curveto -860 1074 860 1074 860 818 curveto -860 742 901 663 932 613 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 935 614 moveto -938 604 lineto -930 610 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 935 614 moveto -938 604 lineto -930 610 lineto -closepath -stroke -end grestore - -% grafite_parser -gsave 10 dict begin -594 1682 87 45 ellipse_path -stroke -gsave 10 dict begin -527 1688 moveto -(grafite_parser) -[12 7.92 10.56 7.92 6.72 6.72 10.56 12 12 10.56 7.92 9.36 10.56 7.92] -xshow -551 1660 moveto -(1.8 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% lexicon -gsave 10 dict begin -622 1510 64 45 ellipse_path -stroke -gsave 10 dict begin -586 1516 moveto -(lexicon) -[6.72 10.56 12 6.72 10.56 12 12] -xshow -578 1488 moveto -(0.8 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% grafite_parser -> lexicon -newpath 601 1636 moveto -604 1614 609 1588 613 1565 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 616 1565 moveto -615 1555 lineto -610 1564 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 616 1565 moveto -615 1555 lineto -610 1564 lineto -closepath -stroke -end grestore - -% grafite -gsave 10 dict begin -141 1382 64 45 ellipse_path -stroke -gsave 10 dict begin -109 1388 moveto -(grafite) -[12 7.92 10.56 7.92 6.72 6.72 10.56] -xshow -97 1360 moveto -(0.5 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% grafite_parser -> grafite -newpath 536 1647 moveto -527 1643 516 1639 506 1636 curveto -487 1630 345 1640 329 1628 curveto -270 1580 332 1522 284 1464 curveto -263 1437 245 1446 215 1428 curveto -209 1424 204 1420 200 1417 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 202 1414 moveto -192 1410 lineto -197 1419 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 202 1414 moveto -192 1410 lineto -197 1419 lineto -closepath -stroke -end grestore - -% lexicon -> cic_disambiguation -newpath 622 1464 moveto -622 1456 622 1447 622 1438 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 626 1438 moveto -622 1428 lineto -619 1438 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 626 1438 moveto -622 1428 lineto -619 1438 lineto -closepath -stroke -end grestore - -% lexicon -> content_pres -newpath 672 1481 moveto -702 1463 741 1440 773 1421 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 775 1424 moveto -782 1416 lineto -772 1418 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 775 1424 moveto -782 1416 lineto -772 1418 lineto -closepath -stroke -end grestore - -% library -gsave 10 dict begin -353 1074 64 45 ellipse_path -stroke -gsave 10 dict begin -321 1080 moveto -(library) -[6.72 6.72 12 7.92 10.56 7.92 12] -xshow -309 1052 moveto -(2.1 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic_unification -> library -newpath 291 1210 moveto -303 1185 317 1154 329 1127 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 332 1129 moveto -333 1118 lineto -326 1126 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 332 1129 moveto -333 1118 lineto -326 1126 lineto -closepath -stroke -end grestore - -% tactics -gsave 10 dict begin -294 1382 69 45 ellipse_path -stroke -gsave 10 dict begin -263 1388 moveto -(tactics) -[6.72 10.56 10.56 6.72 6.72 10.56 9.36] -xshow -245 1360 moveto -(10.0 klocs) -[12 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% tactics -> cic_unification -newpath 286 1337 moveto -285 1328 283 1319 281 1310 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 284 1309 moveto -279 1300 lineto -278 1310 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 284 1309 moveto -279 1300 lineto -278 1310 lineto -closepath -stroke -end grestore - -% tactics -> whelp -newpath 242 1351 moveto -210 1331 173 1308 169 1300 curveto -135 1235 119 1188 169 1136 curveto -179 1125 414 1132 427 1128 curveto -436 1125 444 1120 452 1115 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 454 1118 moveto -461 1110 lineto -451 1112 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 454 1118 moveto -461 1110 lineto -451 1112 lineto -closepath -stroke -end grestore - -% cic -gsave 10 dict begin -353 690 64 45 ellipse_path -stroke -gsave 10 dict begin -339 696 moveto -(cic) -[10.56 6.72 10.56] -xshow -309 668 moveto -(4.2 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% grafite -> cic -newpath 128 1337 moveto -112 1278 86 1169 86 1074 curveto -86 1074 86 1074 86 946 curveto -86 925 86 917 96 900 curveto -110 878 230 784 301 730 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 303 733 moveto -309 724 lineto -299 727 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 303 733 moveto -309 724 lineto -299 727 lineto -closepath -stroke -end grestore - -% grafite_engine -gsave 10 dict begin -184 1510 90 45 ellipse_path -stroke -gsave 10 dict begin -114 1516 moveto -(grafite_engine) -[12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56] -xshow -141 1488 moveto -(1.2 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% grafite_engine -> tactics -newpath 194 1464 moveto -204 1447 220 1432 235 1419 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 237 1422 moveto -243 1413 lineto -233 1416 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 237 1422 moveto -243 1413 lineto -233 1416 lineto -closepath -stroke -end grestore - -% grafite_engine -> grafite -newpath 169 1465 moveto -166 1456 163 1446 159 1437 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 162 1436 moveto -156 1427 lineto -156 1438 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 162 1436 moveto -156 1427 lineto -156 1438 lineto -closepath -stroke -end grestore - -% urimanager -gsave 10 dict begin -380 562 76 45 ellipse_path -stroke -gsave 10 dict begin -324 568 moveto -(urimanager) -[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92] -xshow -336 540 moveto -(0.2 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic -> urimanager -newpath 363 645 moveto -364 636 366 626 368 617 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 371 617 moveto -370 607 lineto -365 616 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 371 617 moveto -370 607 lineto -365 616 lineto -closepath -stroke -end grestore - -% xml -gsave 10 dict begin -655 262 64 45 ellipse_path -stroke -gsave 10 dict begin -636 268 moveto -(xml) -[12 18.72 6.72] -xshow -611 240 moveto -(0.5 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic -> xml -newpath 315 652 moveto -307 641 299 629 294 616 curveto -269 543 254 509 294 444 curveto -357 342 496 295 582 275 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 583 278 moveto -592 273 lineto -582 272 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 583 278 moveto -592 273 lineto -582 272 lineto -closepath -stroke -end grestore - -% cic_proof_checking -gsave 10 dict begin -405 818 116 45 ellipse_path -stroke -gsave 10 dict begin -309 824 moveto -(cic_proof_checking) -[10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12] -xshow -361 796 moveto -(5.8 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic_proof_checking -> cic -newpath 387 773 moveto -383 763 379 753 375 743 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 378 742 moveto -371 734 lineto -372 745 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 378 742 moveto -371 734 lineto -372 745 lineto -closepath -stroke -end grestore - -% getter -gsave 10 dict begin -501 690 64 45 ellipse_path -stroke -gsave 10 dict begin -473 696 moveto -(getter) -[12 10.56 6.72 6.72 10.56 7.92] -xshow -457 668 moveto -(2.0 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% cic_proof_checking -> getter -newpath 415 772 moveto -423 756 436 742 449 730 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 451 733 moveto -456 723 lineto -446 728 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 451 733 moveto -456 723 lineto -446 728 lineto -closepath -stroke -end grestore - -% getter -> urimanager -newpath 465 652 moveto -452 639 438 624 425 610 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 427 607 moveto -418 602 lineto -422 612 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 427 607 moveto -418 602 lineto -422 612 lineto -closepath -stroke -end grestore - -% registry -gsave 10 dict begin -803 390 64 45 ellipse_path -stroke -gsave 10 dict begin -765 396 moveto -(registry) -[7.92 10.56 12 6.72 9.36 6.72 7.92 12] -xshow -759 368 moveto -(0.6 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% getter -> registry -newpath 501 644 moveto -505 587 520 491 581 444 curveto -595 433 714 440 729 436 curveto -736 434 742 431 749 428 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 751 431 moveto -758 423 lineto -748 425 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 751 431 moveto -758 423 lineto -748 425 lineto -closepath -stroke -end grestore - -% logger -gsave 10 dict begin -655 562 64 45 ellipse_path -stroke -gsave 10 dict begin -624 568 moveto -(logger) -[6.72 12 12 12 10.56 7.92] -xshow -611 540 moveto -(0.1 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% getter -> logger -newpath 543 655 moveto -562 639 585 620 605 603 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 607 606 moveto -613 597 lineto -603 600 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 607 606 moveto -613 597 lineto -603 600 lineto -closepath -stroke -end grestore - -% metadata -gsave 10 dict begin -501 946 64 45 ellipse_path -stroke -gsave 10 dict begin -457 952 moveto -(metadata) -[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56] -xshow -458 924 moveto -(1.9 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% metadata -> cic -newpath 520 902 moveto -525 890 529 877 531 864 curveto -535 843 543 788 531 772 curveto -503 732 471 759 427 736 curveto -420 732 415 729 411 725 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 414 723 moveto -404 718 lineto -409 728 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 414 723 moveto -404 718 lineto -409 728 lineto -closepath -stroke -end grestore - -% hmysql -gsave 10 dict begin -803 562 64 45 ellipse_path -stroke -gsave 10 dict begin -767 568 moveto -(hmysql) -[12 18.72 12 9.36 12 6.72] -xshow -759 540 moveto -(0.1 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% metadata -> hmysql -newpath 564 935 moveto -636 921 746 896 772 864 curveto -829 794 824 683 814 617 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 817 616 moveto -812 607 lineto -811 617 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 817 616 moveto -812 607 lineto -811 617 lineto -closepath -stroke -end grestore - -% whelp -> metadata -newpath 501 1028 moveto -501 1020 501 1011 501 1002 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 505 1002 moveto -501 992 lineto -498 1002 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 505 1002 moveto -501 992 lineto -498 1002 lineto -closepath -stroke -end grestore - -% library -> metadata -newpath 394 1038 moveto -412 1022 433 1004 452 988 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 455 990 moveto -460 981 lineto -450 985 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 455 990 moveto -460 981 lineto -450 985 lineto -closepath -stroke -end grestore - -% library -> cic_acic -newpath 353 1028 moveto -353 1020 353 1011 353 1002 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 357 1002 moveto -353 992 lineto -350 1002 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 357 1002 moveto -353 992 lineto -350 1002 lineto -closepath -stroke -end grestore - -% cic_acic -> cic_proof_checking -newpath 371 902 moveto -375 892 379 882 383 872 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 386 874 moveto -387 863 lineto -380 871 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 386 874 moveto -387 863 lineto -380 871 lineto -closepath -stroke -end grestore - -% extlib -gsave 10 dict begin -655 134 63 45 ellipse_path -stroke -gsave 10 dict begin -627 140 moveto -(extlib) -[10.56 12 6.72 6.72 6.72 12] -xshow -612 112 moveto -(1.1 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% hgdome -gsave 10 dict begin -655 390 64 45 ellipse_path -stroke -gsave 10 dict begin -615 396 moveto -(hgdome) -[12 12 12 12 18.72 10.56] -xshow -611 368 moveto -(0.2 klocs) -[12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% hgdome -> xml -newpath 655 344 moveto -655 336 655 327 655 318 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 659 318 moveto -655 308 lineto -652 318 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 659 318 moveto -655 308 lineto -652 318 lineto -closepath -stroke -end grestore - -% hmysql -> registry -newpath 803 516 moveto -803 494 803 468 803 446 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 807 446 moveto -803 436 lineto -800 446 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 807 446 moveto -803 436 lineto -800 446 lineto -closepath -stroke -end grestore - -% registry -> xml -newpath 762 354 moveto -744 338 723 320 704 304 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 706 301 moveto -696 297 lineto -701 306 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 706 301 moveto -696 297 lineto -701 306 lineto -closepath -stroke -end grestore - -% xml -> extlib -newpath 655 216 moveto -655 208 655 199 655 190 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 659 190 moveto -655 180 lineto -652 190 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 659 190 moveto -655 180 lineto -652 190 lineto -closepath -stroke -end grestore - -% DependencyAnalyzer -gsave 10 dict begin -filled -0.584 0.220 0.933 nodecolor -0.584 0.220 0.933 nodecolor -newpath 758 1120 moveto -622 1120 lineto -622 1028 lineto -758 1028 lineto -closepath -fill -0.584 0.220 0.933 nodecolor -newpath 758 1120 moveto -622 1120 lineto -622 1028 lineto -758 1028 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 nodecolor -630 1094 moveto -(Dependency) -[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12] -xshow -646 1066 moveto -(Analyzer) -[17.28 12 10.56 6.72 12 10.56 10.56 7.92] -xshow -643 1038 moveto -( 0.3 klocs) -[6 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% DependencyAnalyzer -> metadata -newpath 622 1028 moveto -601 1013 577 997 557 984 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 558 981 moveto -548 978 lineto -554 986 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 558 981 moveto -548 978 lineto -554 986 lineto -closepath -stroke -end grestore - -% Getter -gsave 10 dict begin -filled -0.584 0.220 0.933 nodecolor -0.584 0.220 0.933 nodecolor -newpath 692 850 moveto -582 850 lineto -582 786 lineto -692 786 lineto -closepath -fill -0.584 0.220 0.933 nodecolor -newpath 692 850 moveto -582 850 lineto -582 786 lineto -692 786 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 nodecolor -607 824 moveto -(Getter) -[17.28 10.56 6.72 6.72 10.56 7.92] -xshow -590 796 moveto -( 0.3 klocs) -[6 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% Getter -> getter -newpath 603 786 moveto -586 770 566 751 548 734 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 550 731 moveto -540 727 lineto -545 736 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 550 731 moveto -540 727 lineto -545 736 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 239 1828 moveto -129 1828 lineto -129 1764 lineto -239 1764 lineto -closepath -fill -0.584 0.220 0.933 nodecolor -newpath 239 1828 moveto -129 1828 lineto -129 1764 lineto -239 1764 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 nodecolor -152 1802 moveto -(Matita) -[21.36 10.56 6.72 6.72 6.72 10.56] -xshow -137 1774 moveto -( 6.7 klocs) -[6 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% Matita -> grafite_parser -newpath 239 1792 moveto -305 1786 417 1770 506 1736 curveto -515 1732 524 1728 532 1723 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 534 1726 moveto -541 1718 lineto -531 1720 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 534 1726 moveto -541 1718 lineto -531 1720 lineto -closepath -stroke -end grestore - -% Matita -> grafite_engine -newpath 184 1764 moveto -184 1716 184 1625 184 1566 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 188 1566 moveto -184 1556 lineto -181 1566 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 188 1566 moveto -184 1556 lineto -181 1566 lineto -closepath -stroke -end grestore - -% Matita -> hgdome -newpath 154 1764 moveto -126 1732 85 1680 64 1628 curveto -45 1578 48 1562 48 1510 curveto -48 1510 48 1510 48 690 curveto -48 540 144 513 276 444 curveto -328 417 484 401 580 395 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 580 398 moveto -590 394 lineto -580 392 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 580 398 moveto -590 394 lineto -580 392 lineto -closepath -stroke -end grestore - -% ProofChecker -gsave 10 dict begin -filled -0.584 0.220 0.933 nodecolor -0.584 0.220 0.933 nodecolor -newpath 270 978 moveto -114 978 lineto -114 914 lineto -270 914 lineto -closepath -fill -0.584 0.220 0.933 nodecolor -newpath 270 978 moveto -114 978 lineto -114 914 lineto -270 914 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 nodecolor -122 952 moveto -(Proof Checker) -[13.44 7.92 12 12 7.92 6 16.08 12 10.56 10.56 12 10.56 7.92] -xshow -145 924 moveto -( 0.1 klocs) -[6 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% ProofChecker -> cic_proof_checking -newpath 245 914 moveto -271 898 304 879 332 861 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 334 864 moveto -341 856 lineto -331 858 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 334 864 moveto -341 856 lineto -331 858 lineto -closepath -stroke -end grestore - -% Uwobo -gsave 10 dict begin -filled -0.584 0.220 0.933 nodecolor -0.584 0.220 0.933 nodecolor -newpath 490 1542 moveto -380 1542 lineto -380 1478 lineto -490 1478 lineto -closepath -fill -0.584 0.220 0.933 nodecolor -newpath 490 1542 moveto -380 1542 lineto -380 1478 lineto -490 1478 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 nodecolor -399 1516 moveto -(Uwobo) -[17.28 17.28 12 12 12] -xshow -388 1488 moveto -( 2.1 klocs) -[6 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% Uwobo -> content_pres -newpath 471 1478 moveto -478 1472 486 1468 494 1464 curveto -599 1419 639 1461 747 1428 curveto -755 1425 763 1422 771 1419 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 772 1422 moveto -780 1415 lineto -769 1416 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 772 1422 moveto -780 1415 lineto -769 1416 lineto -closepath -stroke -end grestore - -% Whelp -gsave 10 dict begin -filled -0.584 0.220 0.933 nodecolor -0.584 0.220 0.933 nodecolor -newpath 649 1828 moveto -539 1828 lineto -539 1764 lineto -649 1764 lineto -closepath -fill -0.584 0.220 0.933 nodecolor -newpath 649 1828 moveto -539 1828 lineto -539 1764 lineto -649 1764 lineto -closepath -stroke -gsave 10 dict begin -0.000 0.000 0.000 nodecolor -561 1802 moveto -(Whelp) -[22.56 12 10.56 6.72 12] -xshow -547 1774 moveto -( 0.6 klocs) -[6 12 6 12 6 12 6.72 12 10.56 9.36] -xshow -end grestore -end grestore - -% Whelp -> grafite_parser -newpath 594 1764 moveto -594 1756 594 1747 594 1738 curveto -stroke -gsave 10 dict begin -solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 598 1738 moveto -594 1728 lineto -591 1738 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 598 1738 moveto -594 1728 lineto -591 1738 lineto -closepath -stroke -end grestore -endpage -showpage -grestore -%%PageTrailer -%%EndPage: 1 -%%Trailer -%%Pages: 1 -end -restore -%%EOF