Differences From
Artifact [8b5c6f5d46]:
58 58 <dia:attribute name="guides">
59 59 <dia:composite type="guides">
60 60 <dia:attribute name="hguides"/>
61 61 <dia:attribute name="vguides"/>
62 62 </dia:composite>
63 63 </dia:attribute>
64 64 </dia:diagramdata>
65 - <dia:layer name="Fons" visible="true" active="true">
65 + <dia:layer name="Fons" visible="true">
66 66 <dia:object type="Flowchart - Ellipse" version="0" id="O0">
67 67 <dia:attribute name="obj_pos">
68 68 <dia:point val="20,14"/>
69 69 </dia:attribute>
70 70 <dia:attribute name="obj_bb">
71 71 <dia:rectangle val="19.95,13.95;25.9031,16.9765"/>
72 72 </dia:attribute>
................................................................................
770 770 </dia:connections>
771 771 </dia:object>
772 772 <dia:object type="Standard - Arc" version="0" id="O16">
773 773 <dia:attribute name="obj_pos">
774 774 <dia:point val="19.3019,6.06378"/>
775 775 </dia:attribute>
776 776 <dia:attribute name="obj_bb">
777 - <dia:rectangle val="19.2365,5.88312;36.0585,13.0619"/>
777 + <dia:rectangle val="19.2365,5.88312;36.0585,13.062"/>
778 778 </dia:attribute>
779 779 <dia:attribute name="conn_endpoints">
780 780 <dia:point val="19.3019,6.06378"/>
781 781 <dia:point val="35.9931,12.9966"/>
782 782 </dia:attribute>
783 783 <dia:attribute name="curve_distance">
784 784 <dia:real val="-2.3694959306802166"/>
................................................................................
826 826 </dia:connections>
827 827 </dia:object>
828 828 <dia:object type="Standard - Arc" version="0" id="O18">
829 829 <dia:attribute name="obj_pos">
830 830 <dia:point val="35.9931,12.9966"/>
831 831 </dia:attribute>
832 832 <dia:attribute name="obj_bb">
833 - <dia:rectangle val="32.3851,12.9317;36.1591,22.0149"/>
833 + <dia:rectangle val="32.3851,12.9317;36.159,22.0149"/>
834 834 </dia:attribute>
835 835 <dia:attribute name="conn_endpoints">
836 836 <dia:point val="35.9931,12.9966"/>
837 837 <dia:point val="32.45,21.95"/>
838 838 </dia:attribute>
839 839 <dia:attribute name="curve_distance">
840 840 <dia:real val="-1.3155739825725297"/>
................................................................................
934 934 </dia:attribute>
935 935 <dia:connections>
936 936 <dia:connection handle="0" to="O6" connection="16"/>
937 937 <dia:connection handle="1" to="O5" connection="16"/>
938 938 </dia:connections>
939 939 </dia:object>
940 940 </dia:layer>
941 - <dia:layer name="Step labels" visible="true">
941 + <dia:layer name="Step labels" visible="true" active="true">
942 942 <dia:object type="Standard - Text" version="1" id="O22">
943 943 <dia:attribute name="obj_pos">
944 944 <dia:point val="0,13"/>
945 945 </dia:attribute>
946 946 <dia:attribute name="obj_bb">
947 947 <dia:rectangle val="0,12.405;4.9675,13.95"/>
948 948 </dia:attribute>
................................................................................
974 974 </dia:attribute>
975 975 </dia:object>
976 976 <dia:object type="Standard - Text" version="1" id="O23">
977 977 <dia:attribute name="obj_pos">
978 978 <dia:point val="7,12"/>
979 979 </dia:attribute>
980 980 <dia:attribute name="obj_bb">
981 - <dia:rectangle val="7,11.405;11.55,12.95"/>
981 + <dia:rectangle val="7,11.3864;11.5686,12.9872"/>
982 982 </dia:attribute>
983 983 <dia:attribute name="text">
984 984 <dia:composite type="text">
985 985 <dia:attribute name="string">
986 986 <dia:string>#(2) Instantiate
987 -slivers#</dia:string>
987 +slice#</dia:string>
988 988 </dia:attribute>
989 989 <dia:attribute name="font">
990 990 <dia:font family="sans" style="0" name="Helvetica"/>
991 991 </dia:attribute>
992 992 <dia:attribute name="height">
993 993 <dia:real val="0.80000000000000004"/>
994 994 </dia:attribute>
................................................................................
1005 1005 </dia:attribute>
1006 1006 <dia:attribute name="valign">
1007 1007 <dia:enum val="3"/>
1008 1008 </dia:attribute>
1009 1009 </dia:object>
1010 1010 <dia:object type="Standard - Text" version="1" id="O24">
1011 1011 <dia:attribute name="obj_pos">
1012 - <dia:point val="12,3"/>
1012 + <dia:point val="11,3"/>
1013 1013 </dia:attribute>
1014 1014 <dia:attribute name="obj_bb">
1015 - <dia:rectangle val="12,2.405;17.87,3.15"/>
1015 + <dia:rectangle val="11,2.405;17.48,3.15"/>
1016 1016 </dia:attribute>
1017 1017 <dia:attribute name="text">
1018 1018 <dia:composite type="text">
1019 1019 <dia:attribute name="string">
1020 - <dia:string>#(1,2,3,5,6) Update#</dia:string>
1020 + <dia:string>#(1,2,3,5,6,7) Update#</dia:string>
1021 1021 </dia:attribute>
1022 1022 <dia:attribute name="font">
1023 1023 <dia:font family="sans" style="0" name="Helvetica"/>
1024 1024 </dia:attribute>
1025 1025 <dia:attribute name="height">
1026 1026 <dia:real val="0.80000000000000004"/>
1027 1027 </dia:attribute>
1028 1028 <dia:attribute name="pos">
1029 - <dia:point val="12,3"/>
1029 + <dia:point val="11,3"/>
1030 1030 </dia:attribute>
1031 1031 <dia:attribute name="color">
1032 1032 <dia:color val="#000000"/>
1033 1033 </dia:attribute>
1034 1034 <dia:attribute name="alignment">
1035 1035 <dia:enum val="0"/>
1036 1036 </dia:attribute>
................................................................................
1080 1080 <dia:attribute name="obj_bb">
1081 1081 <dia:rectangle val="3,9.405;6.735,10.95"/>
1082 1082 </dia:attribute>
1083 1083 <dia:attribute name="text">
1084 1084 <dia:composite type="text">
1085 1085 <dia:attribute name="string">
1086 1086 <dia:string>#(3) Activate
1087 -slivers#</dia:string>
1087 +slice#</dia:string>
1088 1088 </dia:attribute>
1089 1089 <dia:attribute name="font">
1090 1090 <dia:font family="sans" style="0" name="Helvetica"/>
1091 1091 </dia:attribute>
1092 1092 <dia:attribute name="height">
1093 1093 <dia:real val="0.80000000000000004"/>
1094 1094 </dia:attribute>
................................................................................
1207 1207 </dia:attribute>
1208 1208 </dia:object>
1209 1209 <dia:object type="Standard - Text" version="1" id="O30">
1210 1210 <dia:attribute name="obj_pos">
1211 1211 <dia:point val="31,18"/>
1212 1212 </dia:attribute>
1213 1213 <dia:attribute name="obj_bb">
1214 - <dia:rectangle val="31,17.405;33.5675,18.15"/>
1214 + <dia:rectangle val="31,17.3864;33.5861,18.1873"/>
1215 1215 </dia:attribute>
1216 1216 <dia:attribute name="text">
1217 1217 <dia:composite type="text">
1218 1218 <dia:attribute name="string">
1219 - <dia:string>#(4) Stop#</dia:string>
1219 + <dia:string>#(5) Stop#</dia:string>
1220 1220 </dia:attribute>
1221 1221 <dia:attribute name="font">
1222 1222 <dia:font family="sans" style="0" name="Helvetica"/>
1223 1223 </dia:attribute>
1224 1224 <dia:attribute name="height">
1225 1225 <dia:real val="0.80000000000000004"/>
1226 1226 </dia:attribute>
................................................................................
1237 1237 </dia:attribute>
1238 1238 <dia:attribute name="valign">
1239 1239 <dia:enum val="3"/>
1240 1240 </dia:attribute>
1241 1241 </dia:object>
1242 1242 <dia:object type="Standard - Text" version="1" id="O31">
1243 1243 <dia:attribute name="obj_pos">
1244 - <dia:point val="15,24"/>
1244 + <dia:point val="14,24"/>
1245 1245 </dia:attribute>
1246 1246 <dia:attribute name="obj_bb">
1247 - <dia:rectangle val="15,23.405;18.3025,24.95"/>
1247 + <dia:rectangle val="14,23.405;19.1425,24.95"/>
1248 1248 </dia:attribute>
1249 1249 <dia:attribute name="text">
1250 1250 <dia:composite type="text">
1251 1251 <dia:attribute name="string">
1252 - <dia:string>#(4) Collect
1253 -results#</dia:string>
1252 + <dia:string>#(4) Interact
1253 +& collect results#</dia:string>
1254 1254 </dia:attribute>
1255 1255 <dia:attribute name="font">
1256 1256 <dia:font family="sans" style="0" name="Helvetica"/>
1257 1257 </dia:attribute>
1258 1258 <dia:attribute name="height">
1259 1259 <dia:real val="0.80000000000000004"/>
1260 1260 </dia:attribute>
1261 1261 <dia:attribute name="pos">
1262 - <dia:point val="15,24"/>
1262 + <dia:point val="14,24"/>
1263 1263 </dia:attribute>
1264 1264 <dia:attribute name="color">
1265 1265 <dia:color val="#000000"/>
1266 1266 </dia:attribute>
1267 1267 <dia:attribute name="alignment">
1268 1268 <dia:enum val="0"/>
1269 1269 </dia:attribute>
................................................................................
1274 1274 </dia:attribute>
1275 1275 </dia:object>
1276 1276 <dia:object type="Standard - Text" version="1" id="O32">
1277 1277 <dia:attribute name="obj_pos">
1278 1278 <dia:point val="9,9"/>
1279 1279 </dia:attribute>
1280 1280 <dia:attribute name="obj_bb">
1281 - <dia:rectangle val="9,8.405;14.425,9.95"/>
1281 + <dia:rectangle val="9,8.38637;13.6061,9.98725"/>
1282 1282 </dia:attribute>
1283 1283 <dia:attribute name="text">
1284 1284 <dia:composite type="text">
1285 1285 <dia:attribute name="string">
1286 - <dia:string>#(5) Deinstantiate
1287 -slivers#</dia:string>
1286 + <dia:string>#(5) Deactivate
1287 +slice#</dia:string>
1288 1288 </dia:attribute>
1289 1289 <dia:attribute name="font">
1290 1290 <dia:font family="sans" style="0" name="Helvetica"/>
1291 1291 </dia:attribute>
1292 1292 <dia:attribute name="height">
1293 1293 <dia:real val="0.80000000000000004"/>
1294 1294 </dia:attribute>
................................................................................
1305 1305 </dia:attribute>
1306 1306 <dia:attribute name="valign">
1307 1307 <dia:enum val="3"/>
1308 1308 </dia:attribute>
1309 1309 </dia:object>
1310 1310 <dia:object type="Standard - Text" version="1" id="O33">
1311 1311 <dia:attribute name="obj_pos">
1312 - <dia:point val="32,8"/>
1312 + <dia:point val="33,9"/>
1313 1313 </dia:attribute>
1314 1314 <dia:attribute name="obj_bb">
1315 - <dia:rectangle val="32,7.405;37.425,8.15"/>
1315 + <dia:rectangle val="33,8.38637;38.4436,9.18725"/>
1316 1316 </dia:attribute>
1317 1317 <dia:attribute name="text">
1318 1318 <dia:composite type="text">
1319 1319 <dia:attribute name="string">
1320 - <dia:string>#(5) Deinstantiate#</dia:string>
1320 + <dia:string>#(6) Deinstantiate#</dia:string>
1321 1321 </dia:attribute>
1322 1322 <dia:attribute name="font">
1323 1323 <dia:font family="sans" style="0" name="Helvetica"/>
1324 1324 </dia:attribute>
1325 1325 <dia:attribute name="height">
1326 1326 <dia:real val="0.80000000000000004"/>
1327 1327 </dia:attribute>
1328 1328 <dia:attribute name="pos">
1329 - <dia:point val="32,8"/>
1329 + <dia:point val="33,9"/>
1330 1330 </dia:attribute>
1331 1331 <dia:attribute name="color">
1332 1332 <dia:color val="#000000"/>
1333 1333 </dia:attribute>
1334 1334 <dia:attribute name="alignment">
1335 1335 <dia:enum val="0"/>
1336 1336 </dia:attribute>
................................................................................
1341 1341 </dia:attribute>
1342 1342 </dia:object>
1343 1343 <dia:object type="Standard - Text" version="1" id="O34">
1344 1344 <dia:attribute name="obj_pos">
1345 1345 <dia:point val="30,19"/>
1346 1346 </dia:attribute>
1347 1347 <dia:attribute name="obj_bb">
1348 - <dia:rectangle val="30,18.405;33.7125,19.15"/>
1348 + <dia:rectangle val="30,18.3864;33.7311,19.1873"/>
1349 1349 </dia:attribute>
1350 1350 <dia:attribute name="text">
1351 1351 <dia:composite type="text">
1352 1352 <dia:attribute name="string">
1353 - <dia:string>#(5) Remove#</dia:string>
1353 + <dia:string>#(6) Remove#</dia:string>
1354 1354 </dia:attribute>
1355 1355 <dia:attribute name="font">
1356 1356 <dia:font family="sans" style="0" name="Helvetica"/>
1357 1357 </dia:attribute>
1358 1358 <dia:attribute name="height">
1359 1359 <dia:real val="0.80000000000000004"/>
1360 1360 </dia:attribute>
................................................................................
1404 1404 </dia:attribute>
1405 1405 <dia:attribute name="valign">
1406 1406 <dia:enum val="3"/>
1407 1407 </dia:attribute>
1408 1408 </dia:object>
1409 1409 <dia:object type="Standard - Text" version="1" id="O36">
1410 1410 <dia:attribute name="obj_pos">
1411 - <dia:point val="6,7"/>
1411 + <dia:point val="13,7"/>
1412 + </dia:attribute>
1413 + <dia:attribute name="obj_bb">
1414 + <dia:rectangle val="13,6.38638;16.2336,7.98725"/>
1415 + </dia:attribute>
1416 + <dia:attribute name="text">
1417 + <dia:composite type="text">
1418 + <dia:attribute name="string">
1419 + <dia:string>#(7) Delete
1420 +slice#</dia:string>
1421 + </dia:attribute>
1422 + <dia:attribute name="font">
1423 + <dia:font family="sans" style="0" name="Helvetica"/>
1424 + </dia:attribute>
1425 + <dia:attribute name="height">
1426 + <dia:real val="0.80000000000000004"/>
1427 + </dia:attribute>
1428 + <dia:attribute name="pos">
1429 + <dia:point val="13,7"/>
1430 + </dia:attribute>
1431 + <dia:attribute name="color">
1432 + <dia:color val="#000000"/>
1433 + </dia:attribute>
1434 + <dia:attribute name="alignment">
1435 + <dia:enum val="0"/>
1436 + </dia:attribute>
1437 + </dia:composite>
1438 + </dia:attribute>
1439 + <dia:attribute name="valign">
1440 + <dia:enum val="3"/>
1441 + </dia:attribute>
1442 + </dia:object>
1443 + <dia:object type="Standard - Text" version="1" id="O37">
1444 + <dia:attribute name="obj_pos">
1445 + <dia:point val="5,7"/>
1412 1446 </dia:attribute>
1413 1447 <dia:attribute name="obj_bb">
1414 - <dia:rectangle val="6,6.405;9.7125,7.95"/>
1448 + <dia:rectangle val="5,6.38638;10.4436,7.98725"/>
1415 1449 </dia:attribute>
1416 1450 <dia:attribute name="text">
1417 1451 <dia:composite type="text">
1418 1452 <dia:attribute name="string">
1419 - <dia:string>#(6) Remove
1453 + <dia:string>#(6) Deinstantiate
1420 1454 slice#</dia:string>
1421 1455 </dia:attribute>
1422 1456 <dia:attribute name="font">
1423 1457 <dia:font family="sans" style="0" name="Helvetica"/>
1424 1458 </dia:attribute>
1425 1459 <dia:attribute name="height">
1426 1460 <dia:real val="0.80000000000000004"/>
1427 1461 </dia:attribute>
1428 1462 <dia:attribute name="pos">
1429 - <dia:point val="6,7"/>
1463 + <dia:point val="5,7"/>
1464 + </dia:attribute>
1465 + <dia:attribute name="color">
1466 + <dia:color val="#000000"/>
1467 + </dia:attribute>
1468 + <dia:attribute name="alignment">
1469 + <dia:enum val="0"/>
1470 + </dia:attribute>
1471 + </dia:composite>
1472 + </dia:attribute>
1473 + <dia:attribute name="valign">
1474 + <dia:enum val="3"/>
1475 + </dia:attribute>
1476 + </dia:object>
1477 + <dia:object type="Standard - Text" version="1" id="O38">
1478 + <dia:attribute name="obj_pos">
1479 + <dia:point val="32,8"/>
1480 + </dia:attribute>
1481 + <dia:attribute name="obj_bb">
1482 + <dia:rectangle val="32,7.38638;36.6061,8.18725"/>
1483 + </dia:attribute>
1484 + <dia:attribute name="text">
1485 + <dia:composite type="text">
1486 + <dia:attribute name="string">
1487 + <dia:string>#(5) Deactivate#</dia:string>
1488 + </dia:attribute>
1489 + <dia:attribute name="font">
1490 + <dia:font family="sans" style="0" name="Helvetica"/>
1491 + </dia:attribute>
1492 + <dia:attribute name="height">
1493 + <dia:real val="0.80000000000000004"/>
1494 + </dia:attribute>
1495 + <dia:attribute name="pos">
1496 + <dia:point val="32,8"/>
1430 1497 </dia:attribute>
1431 1498 <dia:attribute name="color">
1432 1499 <dia:color val="#000000"/>
1433 1500 </dia:attribute>
1434 1501 <dia:attribute name="alignment">
1435 1502 <dia:enum val="0"/>
1436 1503 </dia:attribute>