Add some newlines to the prototype section

[matthijs/master-project/dsd-paper.git] / choice-ifthenelse.svg

diff --git a/choice-ifthenelse.svg b/choice-ifthenelse.svg
index c08068ceaa7eb1be5164ec289c719a03280fde56..686657a9efbf51fd049cdb2e472e509a44953663 100644 (file)
--- a/choice-ifthenelse.svg
+++ b/choice-ifthenelse.svg
@@ -11,7 +11,7 @@
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
    width="211.09"
-   height="134.41002"
+   height="134.71005"
    id="svg2"
    version="1.1"
    inkscape:version="0.47 r22583"
@@ -25,7 +25,7 @@
      inkscape:pageshadow="2"
      inkscape:zoom="2"
      inkscape:cx="110.13584"
-     inkscape:cy="93.191981"
+     inkscape:cy="93.192008"
      inkscape:document-units="px"
      inkscape:current-layer="layer1"
      showgrid="false"
@@ -33,7 +33,7 @@
      inkscape:window-width="1091"
      inkscape:window-height="778"
      inkscape:window-x="112"
-     inkscape:window-y="0"
+     inkscape:window-y="22"
      inkscape:window-maximized="0"
      inkscape:snap-center="false">
     <inkscape:grid
@@ -110,7 +110,7 @@
      inkscape:label="Layer 1"
      inkscape:groupmode="layer"
      id="layer1"
-     transform="translate(-368.36,-548.2495)">
+     transform="translate(-368.36,-547.9495)">
     <rect
        style="fill:#ffffff;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
        id="rect5340"
@@ -526,7 +526,7 @@
        sodipodi:nodetypes="cccc" />
     <g
        id="g5038"
-       transform="matrix(1,0,0,-1,241.095,1212.4595)"
+       transform="matrix(1,0,0,-1,241.095,1212.1595)"
        xml:space="preserve"
        stroke-miterlimit="10.433"
        font-style="normal"
@@ -624,11 +624,11 @@
        sodipodi:cy="33.558914"
        sodipodi:rx="0.79549515"
        sodipodi:ry="0.79549515"
-       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
        transform="matrix(1.44,0,0,1.44,354.96217,537.40097)" />
     <path
        transform="matrix(1.44,0,0,1.44,360.00009,547.50915)"
-       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
        sodipodi:ry="0.79549515"
        sodipodi:rx="0.79549515"
        sodipodi:cy="33.558914"
@@ -644,11 +644,11 @@
        sodipodi:cy="33.558914"
        sodipodi:rx="0.79549515"
        sodipodi:ry="0.79549515"
-       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
        transform="matrix(1.44,0,0,1.44,370.16475,537.40097)" />
     <path
        transform="matrix(1.44,0,0,1.44,376.17516,547.21208)"
-       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
        sodipodi:ry="0.79549515"
        sodipodi:rx="0.79549515"
        sodipodi:cy="33.558914"
@@ -664,7 +664,7 @@
        sodipodi:cy="33.558914"
        sodipodi:rx="0.79549515"
        sodipodi:ry="0.79549515"
-       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
        transform="matrix(1.44,0,0,1.44,364.94984,562.2381)" />
   </g>
 </svg>