From: Christiaan Baaij Date: Mon, 1 Mar 2010 15:59:34 +0000 (+0100) Subject: update choice figure to include equality test with Equiv X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=be5b558f00c76c7190c5647d2f6e3e42003035fb;p=matthijs%2Fmaster-project%2Fdsd-paper.git update choice figure to include equality test with Equiv --- diff --git a/choice-case.svg b/choice-case.svg index 1eea0a7..75701d1 100644 --- a/choice-case.svg +++ b/choice-case.svg @@ -11,7 +11,7 @@ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" width="172.75" - height="124.43002" + height="144.93002" id="svg2" version="1.1" inkscape:version="0.47 r22583" @@ -23,12 +23,12 @@ borderopacity="1.0" inkscape:pageopacity="0.0" inkscape:pageshadow="2" - inkscape:zoom="2.1106557" - inkscape:cx="228.11635" - inkscape:cy="26.631212" + inkscape:zoom="3.8827838" + inkscape:cx="72.928543" + inkscape:cy="40.778119" inkscape:document-units="px" inkscape:current-layer="layer1" - showgrid="true" + showgrid="false" inkscape:snap-grids="true" inkscape:window-width="1091" inkscape:window-height="778" @@ -114,8 +114,8 @@ @@ -151,7 +151,7 @@ + transform="matrix(1,0,0,-1,-75.428753,1214.8191)"> @@ -502,7 +502,7 @@ - + + + + + + + + + + + + + + + + +