added klocs sums and heading "0." where missing

diff --git a/helm/papers/matita/libraries-clusters.png b/helm/papers/matita/libraries-clusters.png
index d3e52763ea3eb90923f3cddd386b670a3ffac781..5adbc2fdee0f4c5ab55b15ff35ae444ce47e11cc 100644 (file)
Binary files a/helm/papers/matita/libraries-clusters.png and b/helm/papers/matita/libraries-clusters.png differ

diff --git a/helm/papers/matita/libraries-clusters.ps b/helm/papers/matita/libraries-clusters.ps
index ed37f5fe54a4fea99b2b215949cb9fefbd40ba38..5a621271a6ce03564b2a2b0520eeb4330d1995d2 100644 (file)
--- a/helm/papers/matita/libraries-clusters.ps
+++ b/helm/papers/matita/libraries-clusters.ps
@@ -3,7 +3,7 @@
 %%For: (zacchiro) Stefano Zacchiroli,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 1079 1753
+%%BoundingBox: 35 35 1103 1865
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1079 1753
+%%PageBoundingBox: 36 36 1103 1865
 %%PageOrientation: Portrait
 gsave
-35 35 1044 1718 boxprim clip newpath
+35 35 1068 1830 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -244,25 +244,29 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 486 1080 moveto
-918 1080 lineto
-918 1624 lineto
-486 1624 lineto
+newpath 498 1136 moveto
+930 1136 lineto
+930 1736 lineto
+498 1736 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 486 1080 moveto
-918 1080 lineto
-918 1624 lineto
-486 1624 lineto
+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
-497 1090 moveto
+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
@@ -270,25 +274,29 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 68 1116 moveto
-360 1116 lineto
-360 1516 lineto
-68 1516 lineto
+newpath 68 1200 moveto
+372 1200 lineto
+372 1628 lineto
+68 1628 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 68 1116 moveto
-360 1116 lineto
-360 1516 lineto
-68 1516 lineto
+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 1490 moveto
+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
@@ -296,25 +304,29 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 280 416 moveto
-574 416 lineto
-574 1072 lineto
-280 1072 lineto
+newpath 280 444 moveto
+574 444 lineto
+574 1128 lineto
+280 1128 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 280 416 moveto
-574 416 lineto
-574 1072 lineto
-280 1072 lineto
+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 426 moveto
+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
@@ -323,37 +335,41 @@ filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
 newpath 582 16 moveto
-1034 16 lineto
-1034 560 lineto
-582 560 lineto
+1058 16 lineto
+1058 616 lineto
+582 616 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
 newpath 582 16 moveto
-1034 16 lineto
-1034 560 lineto
-582 560 lineto
+1058 16 lineto
+1058 616 lineto
+582 616 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-948 26 moveto
+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
-610 1170 81 45 ellipse_path
+622 1254 81 45 ellipse_path
 stroke
 gsave 10 dict begin
-549 1176 moveto
+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
-566 1148 moveto
+578 1232 moveto
 (3.6 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -362,14 +378,14 @@ end grestore
 
 %      cic_acic
 gsave 10 dict begin
-353 890 64 45 ellipse_path
+353 946 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-313 896 moveto
+313 952 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
-309 868 moveto
+309 924 moveto
 (2.4 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -377,38 +393,38 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 602 1124 moveto
-593 1069 576 983 565 972 curveto
-521 926 486 961 427 936 curveto
-421 933 415 930 409 927 curveto
+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 924 moveto
-400 922 lineto
-407 930 lineto
+newpath 410 980 moveto
+400 978 lineto
+407 986 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 410 924 moveto
-400 922 lineto
-407 930 lineto
+newpath 410 980 moveto
+400 978 lineto
+407 986 lineto
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
-610 1298 115 45 ellipse_path
+622 1382 115 45 ellipse_path
 stroke
 gsave 10 dict begin
-515 1304 moveto
+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
-567 1276 moveto
+579 1360 moveto
 (1.4 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -416,36 +432,36 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
-newpath 610 1252 moveto
-610 1244 610 1235 610 1226 curveto
+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 614 1226 moveto
-610 1216 lineto
-607 1226 lineto
+newpath 626 1310 moveto
+622 1300 lineto
+619 1310 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 614 1226 moveto
-610 1216 lineto
-607 1226 lineto
+newpath 626 1310 moveto
+622 1300 lineto
+619 1310 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification
 gsave 10 dict begin
-259 1170 92 45 ellipse_path
+271 1254 92 45 ellipse_path
 stroke
 gsave 10 dict begin
-187 1176 moveto
+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
-215 1148 moveto
+227 1232 moveto
 (3.4 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -453,74 +469,74 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
-newpath 525 1267 moveto
-469 1247 399 1221 344 1201 curveto
+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 345 1197 moveto
-334 1197 lineto
-342 1204 lineto
+newpath 357 1281 moveto
+346 1281 lineto
+354 1288 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 345 1197 moveto
-334 1197 lineto
-342 1204 lineto
+newpath 357 1281 moveto
+346 1281 lineto
+354 1288 lineto
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
-497 1018 58 45 ellipse_path
+501 1074 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-467 1024 moveto
+471 1080 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
-459 996 moveto
-(.3 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 553 1258 moveto
-540 1246 527 1232 519 1216 curveto
-497 1172 493 1116 493 1074 curveto
+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 497 1074 moveto
-493 1064 lineto
-490 1074 lineto
+newpath 502 1130 moveto
+498 1120 lineto
+495 1130 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 497 1074 moveto
-493 1064 lineto
-490 1074 lineto
+newpath 502 1130 moveto
+498 1120 lineto
+495 1130 lineto
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
-827 1298 82 45 ellipse_path
+839 1382 82 45 ellipse_path
 stroke
 gsave 10 dict begin
-765 1304 moveto
+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
-783 1276 moveto
+795 1360 moveto
 (4.5 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -528,75 +544,75 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
-newpath 770 1265 moveto
-741 1248 705 1226 675 1208 curveto
+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 676 1205 moveto
-666 1203 lineto
-673 1211 lineto
+newpath 688 1289 moveto
+678 1287 lineto
+685 1295 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 676 1205 moveto
-666 1203 lineto
-673 1211 lineto
+newpath 688 1289 moveto
+678 1287 lineto
+685 1295 lineto
 closepath
 stroke
 end grestore
 
 %      utf8_macros
 gsave 10 dict begin
-944 506 81 45 ellipse_path
+968 562 81 45 ellipse_path
 stroke
 gsave 10 dict begin
-883 512 moveto
+907 568 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
-906 484 moveto
-(.2 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 842 1253 moveto
-859 1198 885 1102 885 1018 curveto
-885 1018 885 1018 885 762 curveto
-885 691 907 612 924 561 curveto
+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 927 562 moveto
-927 551 lineto
-921 560 lineto
+newpath 935 614 moveto
+938 604 lineto
+930 610 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 927 562 moveto
-927 551 lineto
-921 560 lineto
+newpath 935 614 moveto
+938 604 lineto
+930 610 lineto
 closepath
 stroke
 end grestore
 
 %      grafite_parser
 gsave 10 dict begin
-582 1570 87 45 ellipse_path
+594 1682 87 45 ellipse_path
 stroke
 gsave 10 dict begin
-515 1576 moveto
+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
-539 1548 moveto
+551 1660 moveto
 (1.8 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -605,134 +621,134 @@ end grestore
 
 %      lexicon
 gsave 10 dict begin
-610 1426 58 45 ellipse_path
+622 1510 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-574 1432 moveto
+586 1516 moveto
 (lexicon)
 [6.72 10.56 12 6.72 10.56 12 12]
 xshow
-572 1404 moveto
-(.8 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 591 1524 moveto
-593 1510 596 1495 599 1481 curveto
+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 602 1481 moveto
-601 1471 lineto
-596 1480 lineto
+newpath 616 1565 moveto
+615 1555 lineto
+610 1564 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 602 1481 moveto
-601 1471 lineto
-596 1480 lineto
+newpath 616 1565 moveto
+615 1555 lineto
+610 1564 lineto
 closepath
 stroke
 end grestore
 
 %      grafite
 gsave 10 dict begin
-135 1298 58 45 ellipse_path
+141 1382 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-103 1304 moveto
+109 1388 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
-97 1276 moveto
-(.5 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 524 1535 moveto
-515 1531 504 1527 494 1524 curveto
-476 1519 339 1527 323 1516 curveto
-273 1477 323 1427 281 1380 curveto
-256 1351 236 1364 203 1344 curveto
-197 1340 193 1336 189 1333 curveto
+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 192 1331 moveto
-182 1326 lineto
-187 1336 lineto
+newpath 202 1414 moveto
+192 1410 lineto
+197 1419 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 192 1331 moveto
-182 1326 lineto
-187 1336 lineto
+newpath 202 1414 moveto
+192 1410 lineto
+197 1419 lineto
 closepath
 stroke
 end grestore
 
 %      lexicon -> cic_disambiguation
-newpath 610 1380 moveto
-610 1372 610 1363 610 1354 curveto
+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 614 1354 moveto
-610 1344 lineto
-607 1354 lineto
+newpath 626 1438 moveto
+622 1428 lineto
+619 1438 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 614 1354 moveto
-610 1344 lineto
-607 1354 lineto
+newpath 626 1438 moveto
+622 1428 lineto
+619 1438 lineto
 closepath
 stroke
 end grestore
 
 %      lexicon -> content_pres
-newpath 657 1398 moveto
-687 1381 728 1356 761 1337 curveto
+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 763 1340 moveto
-770 1332 lineto
-760 1334 lineto
+newpath 775 1424 moveto
+782 1416 lineto
+772 1418 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 763 1340 moveto
-770 1332 lineto
-760 1334 lineto
+newpath 775 1424 moveto
+782 1416 lineto
+772 1418 lineto
 closepath
 stroke
 end grestore
 
 %      library
 gsave 10 dict begin
-353 1018 64 45 ellipse_path
+353 1074 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-321 1024 moveto
+321 1080 moveto
 (library)
 [6.72 6.72 12 7.92 10.56 7.92 12]
 xshow
-309 996 moveto
+309 1052 moveto
 (2.1 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -740,36 +756,36 @@ end grestore
 end grestore
 
 %      cic_unification -> library
-newpath 286 1126 moveto
-297 1108 311 1088 322 1069 curveto
+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 325 1070 moveto
-327 1060 lineto
-319 1067 lineto
+newpath 332 1129 moveto
+333 1118 lineto
+326 1126 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 325 1070 moveto
-327 1060 lineto
-319 1067 lineto
+newpath 332 1129 moveto
+333 1118 lineto
+326 1126 lineto
 closepath
 stroke
 end grestore
 
 %      tactics
 gsave 10 dict begin
-282 1298 69 45 ellipse_path
+294 1382 69 45 ellipse_path
 stroke
 gsave 10 dict begin
-251 1304 moveto
+263 1388 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
-233 1276 moveto
+245 1360 moveto
 (10.0 klocs)
 [12 12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -777,60 +793,60 @@ end grestore
 end grestore
 
 %      tactics -> cic_unification
-newpath 274 1253 moveto
-273 1244 271 1235 269 1226 curveto
+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 272 1225 moveto
-267 1216 lineto
-266 1226 lineto
+newpath 284 1309 moveto
+279 1300 lineto
+278 1310 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 272 1225 moveto
-267 1216 lineto
-266 1226 lineto
+newpath 284 1309 moveto
+279 1300 lineto
+278 1310 lineto
 closepath
 stroke
 end grestore
 
 %      tactics -> whelp
-newpath 230 1267 moveto
-198 1247 161 1224 157 1216 curveto
-129 1162 115 1123 157 1080 curveto
-168 1069 413 1077 427 1072 curveto
-436 1069 444 1065 452 1059 curveto
+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 1062 moveto
-460 1053 lineto
-450 1056 lineto
+newpath 454 1118 moveto
+461 1110 lineto
+451 1112 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 454 1062 moveto
-460 1053 lineto
-450 1056 lineto
+newpath 454 1118 moveto
+461 1110 lineto
+451 1112 lineto
 closepath
 stroke
 end grestore
 
 %      cic
 gsave 10 dict begin
-353 634 64 45 ellipse_path
+353 690 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-339 640 moveto
+339 696 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
-309 612 moveto
+309 668 moveto
 (4.2 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -838,39 +854,39 @@ end grestore
 end grestore
 
 %      grafite -> cic
-newpath 122 1253 moveto
-108 1198 86 1102 86 1018 curveto
-86 1018 86 1018 86 890 curveto
-86 869 86 861 96 844 curveto
-110 822 230 728 301 674 curveto
+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 677 moveto
-309 668 lineto
-299 671 lineto
+newpath 303 733 moveto
+309 724 lineto
+299 727 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 303 677 moveto
-309 668 lineto
-299 671 lineto
+newpath 303 733 moveto
+309 724 lineto
+299 727 lineto
 closepath
 stroke
 end grestore
 
 %      grafite_engine
 gsave 10 dict begin
-181 1426 90 45 ellipse_path
+184 1510 90 45 ellipse_path
 stroke
 gsave 10 dict begin
-111 1432 moveto
+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
-138 1404 moveto
+141 1488 moveto
 (1.2 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -878,133 +894,133 @@ end grestore
 end grestore
 
 %      grafite_engine -> tactics
-newpath 191 1380 moveto
-200 1364 213 1350 227 1338 curveto
+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 229 1341 moveto
-234 1331 lineto
-224 1336 lineto
+newpath 237 1422 moveto
+243 1413 lineto
+233 1416 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 229 1341 moveto
-234 1331 lineto
-224 1336 lineto
+newpath 237 1422 moveto
+243 1413 lineto
+233 1416 lineto
 closepath
 stroke
 end grestore
 
 %      grafite_engine -> grafite
-newpath 165 1381 moveto
-162 1371 158 1361 155 1351 curveto
+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 158 1350 moveto
-151 1342 lineto
-152 1353 lineto
+newpath 162 1436 moveto
+156 1427 lineto
+156 1438 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 158 1350 moveto
-151 1342 lineto
-152 1353 lineto
+newpath 162 1436 moveto
+156 1427 lineto
+156 1438 lineto
 closepath
 stroke
 end grestore
 
 %      urimanager
 gsave 10 dict begin
-380 506 76 45 ellipse_path
+380 562 76 45 ellipse_path
 stroke
 gsave 10 dict begin
-324 512 moveto
+324 568 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
-342 484 moveto
-(.2 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 589 moveto
-364 580 366 570 368 561 curveto
+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 561 moveto
-370 551 lineto
-365 560 lineto
+newpath 371 617 moveto
+370 607 lineto
+365 616 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 371 561 moveto
-370 551 lineto
-365 560 lineto
+newpath 371 617 moveto
+370 607 lineto
+365 616 lineto
 closepath
 stroke
 end grestore
 
 %      xml
 gsave 10 dict begin
-652 234 58 45 ellipse_path
+655 262 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-633 240 moveto
+636 268 moveto
 (xml)
 [12 18.72 6.72]
 xshow
-614 212 moveto
-(.5 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 596 moveto
-307 585 299 573 294 560 curveto
-273 499 261 470 294 416 curveto
-357 312 500 266 584 246 curveto
+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 585 249 moveto
-594 244 lineto
-584 243 lineto
+newpath 583 278 moveto
+592 273 lineto
+582 272 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 585 249 moveto
-594 244 lineto
-584 243 lineto
+newpath 583 278 moveto
+592 273 lineto
+582 272 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking
 gsave 10 dict begin
-405 762 116 45 ellipse_path
+405 818 116 45 ellipse_path
 stroke
 gsave 10 dict begin
-309 768 moveto
+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 740 moveto
+361 796 moveto
 (5.8 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -1012,36 +1028,36 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> cic
-newpath 387 717 moveto
-383 707 379 697 375 687 curveto
+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 686 moveto
-371 678 lineto
-372 689 lineto
+newpath 378 742 moveto
+371 734 lineto
+372 745 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 378 686 moveto
-371 678 lineto
-372 689 lineto
+newpath 378 742 moveto
+371 734 lineto
+372 745 lineto
 closepath
 stroke
 end grestore
 
 %      getter
 gsave 10 dict begin
-501 634 64 45 ellipse_path
+501 690 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-473 640 moveto
+473 696 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
-457 612 moveto
+457 668 moveto
 (2.0 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -1049,133 +1065,133 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> getter
-newpath 415 716 moveto
-423 700 436 686 449 674 curveto
+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 677 moveto
-456 667 lineto
-446 672 lineto
+newpath 451 733 moveto
+456 723 lineto
+446 728 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 451 677 moveto
-456 667 lineto
-446 672 lineto
+newpath 451 733 moveto
+456 723 lineto
+446 728 lineto
 closepath
 stroke
 end grestore
 
 %      getter -> urimanager
-newpath 465 596 moveto
-452 583 438 568 425 554 curveto
+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 551 moveto
-418 546 lineto
-422 556 lineto
+newpath 427 607 moveto
+418 602 lineto
+422 612 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 427 551 moveto
-418 546 lineto
-422 556 lineto
+newpath 427 607 moveto
+418 602 lineto
+422 612 lineto
 closepath
 stroke
 end grestore
 
 %      registry
 gsave 10 dict begin
-789 362 58 45 ellipse_path
+803 390 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-751 368 moveto
+765 396 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
-751 340 moveto
-(.6 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 504 588 moveto
-510 537 527 456 581 416 curveto
-594 406 707 412 721 408 curveto
-727 406 733 403 739 400 curveto
+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 741 403 moveto
-748 395 lineto
-738 397 lineto
+newpath 751 431 moveto
+758 423 lineto
+748 425 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 741 403 moveto
-748 395 lineto
-738 397 lineto
+newpath 751 431 moveto
+758 423 lineto
+748 425 lineto
 closepath
 stroke
 end grestore
 
 %      logger
 gsave 10 dict begin
-649 506 58 45 ellipse_path
+655 562 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-618 512 moveto
+624 568 moveto
 (logger)
 [6.72 12 12 12 10.56 7.92]
 xshow
-611 484 moveto
-(.1 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 542 598 moveto
-560 582 583 563 601 547 curveto
+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 604 549 moveto
-609 540 lineto
-599 544 lineto
+newpath 607 606 moveto
+613 597 lineto
+603 600 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 604 549 moveto
-609 540 lineto
-599 544 lineto
+newpath 607 606 moveto
+613 597 lineto
+603 600 lineto
 closepath
 stroke
 end grestore
 
 %      metadata
 gsave 10 dict begin
-501 890 64 45 ellipse_path
+501 946 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-457 896 moveto
+457 952 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
-458 868 moveto
+458 924 moveto
 (1.9 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -1183,161 +1199,161 @@ end grestore
 end grestore
 
 %      metadata -> cic
-newpath 520 846 moveto
-525 834 529 821 531 808 curveto
-535 787 543 732 531 716 curveto
-503 676 471 703 427 680 curveto
-420 676 415 673 411 669 curveto
+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 667 moveto
-404 662 lineto
-409 672 lineto
+newpath 414 723 moveto
+404 718 lineto
+409 728 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 414 667 moveto
-404 662 lineto
-409 672 lineto
+newpath 414 723 moveto
+404 718 lineto
+409 728 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql
 gsave 10 dict begin
-785 506 58 45 ellipse_path
+803 562 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-749 512 moveto
+767 568 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
-747 484 moveto
-(.1 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 563 876 moveto
-625 861 715 835 737 808 curveto
-794 738 797 628 792 561 curveto
+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 795 561 moveto
-791 551 lineto
-789 561 lineto
+newpath 817 616 moveto
+812 607 lineto
+811 617 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 795 561 moveto
-791 551 lineto
-789 561 lineto
+newpath 817 616 moveto
+812 607 lineto
+811 617 lineto
 closepath
 stroke
 end grestore
 
 %      whelp -> metadata
-newpath 498 973 moveto
-499 964 499 955 499 946 curveto
+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 502 946 moveto
-500 936 lineto
-496 946 lineto
+newpath 505 1002 moveto
+501 992 lineto
+498 1002 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 502 946 moveto
-500 936 lineto
-496 946 lineto
+newpath 505 1002 moveto
+501 992 lineto
+498 1002 lineto
 closepath
 stroke
 end grestore
 
 %      library -> metadata
-newpath 394 982 moveto
-412 966 433 948 452 932 curveto
+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 934 moveto
-460 925 lineto
-450 929 lineto
+newpath 455 990 moveto
+460 981 lineto
+450 985 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 455 934 moveto
-460 925 lineto
-450 929 lineto
+newpath 455 990 moveto
+460 981 lineto
+450 985 lineto
 closepath
 stroke
 end grestore
 
 %      library -> cic_acic
-newpath 353 972 moveto
-353 964 353 955 353 946 curveto
+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 946 moveto
-353 936 lineto
-350 946 lineto
+newpath 357 1002 moveto
+353 992 lineto
+350 1002 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 357 946 moveto
-353 936 lineto
-350 946 lineto
+newpath 357 1002 moveto
+353 992 lineto
+350 1002 lineto
 closepath
 stroke
 end grestore
 
 %      cic_acic -> cic_proof_checking
-newpath 371 846 moveto
-375 836 379 826 383 816 curveto
+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 818 moveto
-387 807 lineto
-380 815 lineto
+newpath 386 874 moveto
+387 863 lineto
+380 871 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 386 818 moveto
-387 807 lineto
-380 815 lineto
+newpath 386 874 moveto
+387 863 lineto
+380 871 lineto
 closepath
 stroke
 end grestore
 
 %      extlib
 gsave 10 dict begin
-654 106 63 45 ellipse_path
+655 134 63 45 ellipse_path
 stroke
 gsave 10 dict begin
-626 112 moveto
+627 140 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
-611 84 moveto
+612 112 moveto
 (1.1 klocs)
 [12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -1346,100 +1362,100 @@ end grestore
 
 %      hgdome
 gsave 10 dict begin
-651 362 60 45 ellipse_path
+655 390 64 45 ellipse_path
 stroke
 gsave 10 dict begin
-611 368 moveto
+615 396 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
-613 340 moveto
-(.2 klocs)
-[6 12 6 12 6.72 12 10.56 9.36]
+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 651 316 moveto
-651 308 651 299 652 290 curveto
+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 656 290 moveto
-652 280 lineto
-649 290 lineto
+newpath 659 318 moveto
+655 308 lineto
+652 318 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 656 290 moveto
-652 280 lineto
-649 290 lineto
+newpath 659 318 moveto
+655 308 lineto
+652 318 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql -> registry
-newpath 786 460 moveto
-786 446 787 432 787 418 curveto
+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 791 418 moveto
-787 408 lineto
-784 418 lineto
+newpath 807 446 moveto
+803 436 lineto
+800 446 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 791 418 moveto
-787 408 lineto
-784 418 lineto
+newpath 807 446 moveto
+803 436 lineto
+800 446 lineto
 closepath
 stroke
 end grestore
 
 %      registry -> xml
-newpath 751 327 moveto
-734 311 715 292 697 276 curveto
+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 700 274 moveto
-690 269 lineto
-695 279 lineto
+newpath 706 301 moveto
+696 297 lineto
+701 306 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 700 274 moveto
-690 269 lineto
-695 279 lineto
+newpath 706 301 moveto
+696 297 lineto
+701 306 lineto
 closepath
 stroke
 end grestore
 
 %      xml -> extlib
-newpath 653 188 moveto
-653 180 653 171 653 162 curveto
+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 657 162 moveto
-653 152 lineto
-650 162 lineto
+newpath 659 190 moveto
+655 180 lineto
+652 190 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 657 162 moveto
-653 152 lineto
-650 162 lineto
+newpath 659 190 moveto
+655 180 lineto
+652 190 lineto
 closepath
 stroke
 end grestore
@@ -1449,53 +1465,53 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 748 1064 moveto
-612 1064 lineto
-612 972 lineto
-748 972 lineto
+newpath 758 1120 moveto
+622 1120 lineto
+622 1028 lineto
+758 1028 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 748 1064 moveto
-612 1064 lineto
-612 972 lineto
-748 972 lineto
+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
-620 1038 moveto
+630 1094 moveto
 (Dependency)
 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
 xshow
-636 1010 moveto
+646 1066 moveto
 (Analyzer)
 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
-639 982 moveto
-( .3 klocs)
-[6 6 12 6 12 6.72 12 10.56 9.36]
+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 616 972 moveto
-596 958 574 942 555 928 curveto
+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 557 925 moveto
-547 922 lineto
-553 931 lineto
+newpath 558 981 moveto
+548 978 lineto
+554 986 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 557 925 moveto
-547 922 lineto
-553 931 lineto
+newpath 558 981 moveto
+548 978 lineto
+554 986 lineto
 closepath
 stroke
 end grestore
@@ -1505,49 +1521,49 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 680 794 moveto
-582 794 lineto
-582 730 lineto
-680 730 lineto
+newpath 692 850 moveto
+582 850 lineto
+582 786 lineto
+692 786 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 680 794 moveto
-582 794 lineto
-582 730 lineto
-680 730 lineto
+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
-601 768 moveto
+607 824 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
-590 740 moveto
-( .3 klocs)
-[6 6 12 6 12 6.72 12 10.56 9.36]
+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 598 730 moveto
-582 714 563 695 546 678 curveto
+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 549 676 moveto
-539 671 lineto
-544 681 lineto
+newpath 550 731 moveto
+540 727 lineto
+545 736 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 549 676 moveto
-539 671 lineto
-544 681 lineto
+newpath 550 731 moveto
+540 727 lineto
+545 736 lineto
 closepath
 stroke
 end grestore
@@ -1557,26 +1573,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 236 1716 moveto
-126 1716 lineto
-126 1652 lineto
-236 1652 lineto
+newpath 239 1828 moveto
+129 1828 lineto
+129 1764 lineto
+239 1764 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 236 1716 moveto
-126 1716 lineto
-126 1652 lineto
-236 1652 lineto
+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
-149 1690 moveto
+152 1802 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
-134 1662 moveto
+137 1774 moveto
 ( 6.7 klocs)
 [6 12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -1584,69 +1600,69 @@ end grestore
 end grestore
 
 %      Matita -> grafite_parser
-newpath 236 1679 moveto
-300 1673 408 1657 494 1624 curveto
-503 1620 512 1616 520 1611 curveto
+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 522 1614 moveto
-529 1606 lineto
-519 1608 lineto
+newpath 534 1726 moveto
+541 1718 lineto
+531 1720 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 522 1614 moveto
-529 1606 lineto
-519 1608 lineto
+newpath 534 1726 moveto
+541 1718 lineto
+531 1720 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> grafite_engine
-newpath 181 1652 moveto
-181 1610 181 1534 181 1482 curveto
+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 185 1482 moveto
-181 1472 lineto
-178 1482 lineto
+newpath 188 1566 moveto
+184 1556 lineto
+181 1566 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 185 1482 moveto
-181 1472 lineto
-178 1482 lineto
+newpath 188 1566 moveto
+184 1556 lineto
+181 1566 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> hgdome
-newpath 152 1652 moveto
-125 1620 86 1568 64 1516 curveto
-49 1478 48 1466 48 1426 curveto
-48 1426 48 1426 48 634 curveto
-48 493 150 477 276 416 curveto
-328 391 487 374 580 367 curveto
+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 370 moveto
-590 366 lineto
-580 364 lineto
+newpath 580 398 moveto
+590 394 lineto
+580 392 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 580 370 moveto
-590 366 lineto
-580 364 lineto
+newpath 580 398 moveto
+590 394 lineto
+580 392 lineto
 closepath
 stroke
 end grestore
@@ -1656,49 +1672,49 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 270 922 moveto
-114 922 lineto
-114 858 lineto
-270 858 lineto
+newpath 270 978 moveto
+114 978 lineto
+114 914 lineto
+270 914 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 270 922 moveto
-114 922 lineto
-114 858 lineto
-270 858 lineto
+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 896 moveto
+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
-151 868 moveto
-( .1 klocs)
-[6 6 12 6 12 6.72 12 10.56 9.36]
+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 858 moveto
-271 842 304 823 332 805 curveto
+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 808 moveto
-341 800 lineto
-331 802 lineto
+newpath 334 864 moveto
+341 856 lineto
+331 858 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 334 808 moveto
-341 800 lineto
-331 802 lineto
+newpath 334 864 moveto
+341 856 lineto
+331 858 lineto
 closepath
 stroke
 end grestore
@@ -1708,26 +1724,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 478 1458 moveto
-368 1458 lineto
-368 1394 lineto
-478 1394 lineto
+newpath 490 1542 moveto
+380 1542 lineto
+380 1478 lineto
+490 1478 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 478 1458 moveto
-368 1458 lineto
-368 1394 lineto
-478 1394 lineto
+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
-387 1432 moveto
+399 1516 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
-376 1404 moveto
+388 1488 moveto
 ( 2.1 klocs)
 [6 12 6 12 6 12 6.72 12 10.56 9.36]
 xshow
@@ -1735,24 +1751,24 @@ end grestore
 end grestore
 
 %      Uwobo -> content_pres
-newpath 459 1394 moveto
-466 1388 474 1384 482 1380 curveto
-587 1335 627 1377 735 1344 curveto
-743 1341 751 1338 759 1335 curveto
+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 760 1338 moveto
-768 1331 lineto
-757 1332 lineto
+newpath 772 1422 moveto
+780 1415 lineto
+769 1416 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 760 1338 moveto
-768 1331 lineto
-757 1332 lineto
+newpath 772 1422 moveto
+780 1415 lineto
+769 1416 lineto
 closepath
 stroke
 end grestore
@@ -1762,49 +1778,49 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 631 1716 moveto
-533 1716 lineto
-533 1652 lineto
-631 1652 lineto
+newpath 649 1828 moveto
+539 1828 lineto
+539 1764 lineto
+649 1764 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 631 1716 moveto
-533 1716 lineto
-533 1652 lineto
-631 1652 lineto
+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
-549 1690 moveto
+561 1802 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
-541 1662 moveto
-( .6 klocs)
-[6 6 12 6 12 6.72 12 10.56 9.36]
+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 582 1652 moveto
-582 1644 582 1635 582 1626 curveto
+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 586 1626 moveto
-582 1616 lineto
-579 1626 lineto
+newpath 598 1738 moveto
+594 1728 lineto
+591 1738 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 586 1626 moveto
-582 1616 lineto
-579 1626 lineto
+newpath 598 1738 moveto
+594 1728 lineto
+591 1738 lineto
 closepath
 stroke
 end grestore