Author: Carl Friedrich Bolz <[email protected]>
Branch: extradoc
Changeset: r4613:ad9cdc939c75
Date: 2012-08-16 14:41 +0200
http://bitbucket.org/pypy/extradoc/changeset/ad9cdc939c75/

Log:    fix labes in diagram

diff --git a/talk/vmil2012/figures/resume_data.graffle/QuickLook/Preview.pdf 
b/talk/vmil2012/figures/resume_data.graffle/QuickLook/Preview.pdf
index 
bb2ac8258feb15c2a137aee1d15be1b55c271e6c..1440be54554ae695a75458cfca6aa31ea1669f93
GIT binary patch

[cut]

diff --git a/talk/vmil2012/figures/resume_data.graffle/QuickLook/Thumbnail.tiff 
b/talk/vmil2012/figures/resume_data.graffle/QuickLook/Thumbnail.tiff
index 
897a9752c8f4aecca86e7997f8addef92a074ce8..f0d05d18fc4b464dc50ae53e1becfa53486bd043
GIT binary patch

[cut]

diff --git a/talk/vmil2012/figures/resume_data.graffle/data.plist 
b/talk/vmil2012/figures/resume_data.graffle/data.plist
--- a/talk/vmil2012/figures/resume_data.graffle/data.plist
+++ b/talk/vmil2012/figures/resume_data.graffle/data.plist
@@ -44,19 +44,49 @@
        <key>Creator</key>
        <string>Carl Friedrich Bolz</string>
        <key>DisplayScale</key>
-       <string>1 0/72 in = 1 0/72 in</string>
+       <string>1 0/72 in = 1.0000 in</string>
        <key>GraphDocumentVersion</key>
        <integer>8</integer>
        <key>GraphicsList</key>
        <array>
                <dict>
+                       <key>Bounds</key>
+                       <string>{{151.809, 176.762}, {10.2668, 
11.4967}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>112</integer>
+                       <key>ImageID</key>
+                       <integer>2</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Style</key>
+                       <dict>
+                               <key>fill</key>
+                               <dict>
+                                       <key>Draws</key>
+                                       <string>NO</string>
+                               </dict>
+                               <key>shadow</key>
+                               <dict>
+                                       <key>Draws</key>
+                                       <string>NO</string>
+                               </dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>Draws</key>
+                                       <string>NO</string>
+                               </dict>
+                       </dict>
+               </dict>
+               <dict>
                        <key>Class</key>
                        <string>LineGraphic</string>
                        <key>ControlPoints</key>
                        <array>
                                <string>{1.86659, 0}</string>
-                               <string>{-10.3829, 10.3325}</string>
-                               <string>{10.3829, -10.3325}</string>
+                               <string>{-22.5, 11.5}</string>
+                               <string>{22.5, -11.5}</string>
                                <string>{-14.3108, 17.8072}</string>
                        </array>
                        <key>Head</key>
@@ -68,9 +98,9 @@
                        <integer>97</integer>
                        <key>Points</key>
                        <array>
-                               <string>{151.883, 268.25}</string>
-                               <string>{171.25, 259.676}</string>
-                               <string>{214.187, 206.249}</string>
+                               <string>{151.883, 261.676}</string>
+                               <string>{209.5, 248.426}</string>
+                               <string>{268.5, 206.703}</string>
                        </array>
                        <key>Style</key>
                        <dict>
@@ -102,7 +132,7 @@
                        <key>Points</key>
                        <array>
                                <string>{169.625, 196.625}</string>
-                               <string>{214.01, 205.759}</string>
+                               <string>{268.5, 206.703}</string>
                        </array>
                        <key>Style</key>
                        <dict>
@@ -124,7 +154,7 @@
                        <array>
                                <dict>
                                        <key>Bounds</key>
-                                       <string>{{274.103, 226.344}, {8, 
9}}</string>
+                                       <string>{{327.641, 225.256}, {10.2668, 
11.4967}}</string>
                                        <key>Class</key>
                                        <string>ShapedGraphic</string>
                                        <key>ID</key>
@@ -159,7 +189,7 @@
                                        <array>
                                                <dict>
                                                        <key>Bounds</key>
-                                                       <string>{{214.5, 
213.302}, {75.3968, 33.5389}}</string>
+                                                       <string>{{268.5, 
214.145}, {75.3968, 33.5389}}</string>
                                                        <key>Class</key>
                                                        
<string>ShapedGraphic</string>
                                                        <key>ID</key>
@@ -196,7 +226,7 @@
                                                </dict>
                                                <dict>
                                                        <key>Bounds</key>
-                                                       <string>{{214.5, 
196.841}, {75.3968, 18.037}}</string>
+                                                       <string>{{268.5, 
197.684}, {75.3968, 18.037}}</string>
                                                        <key>Class</key>
                                                        
<string>ShapedGraphic</string>
                                                        <key>ID</key>
@@ -315,7 +345,7 @@
 {\colortbl;\red255\green255\blue255;}
 
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural
 
-\f0\fs24 \cf0 Guard 4}</string>
+\f0\fs24 \cf0 Guard 1}</string>
                                <key>VerticalPad</key>
                                <integer>0</integer>
                        </dict>
@@ -324,95 +354,217 @@
                </dict>
                <dict>
                        <key>Class</key>
-                       <string>LineGraphic</string>
-                       <key>Head</key>
-                       <dict>
-                               <key>ID</key>
-                               <integer>66</integer>
-                       </dict>
-                       <key>ID</key>
-                       <integer>84</integer>
-                       <key>Points</key>
+                       <string>Group</string>
+                       <key>Graphics</key>
                        <array>
-                               <string>{93.2062, 93.1111}</string>
-                               <string>{123.778, 93.0926}</string>
-                       </array>
-                       <key>Style</key>
-                       <dict>
-                               <key>stroke</key>
                                <dict>
-                                       <key>HeadArrow</key>
-                                       <string>FilledArrow</string>
-                                       <key>LineType</key>
-                                       <integer>1</integer>
-                                       <key>TailArrow</key>
-                                       <string>0</string>
+                                       <key>Class</key>
+                                       <string>LineGraphic</string>
+                                       <key>Head</key>
+                                       <dict>
+                                               <key>ID</key>
+                                               <integer>110</integer>
+                                       </dict>
+                                       <key>ID</key>
+                                       <integer>104</integer>
+                                       <key>Points</key>
+                                       <array>
+                                               <string>{93.2062, 
99.6852}</string>
+                                               <string>{123.778, 
99.6667}</string>
+                                       </array>
+                                       <key>Style</key>
+                                       <dict>
+                                               <key>stroke</key>
+                                               <dict>
+                                                       <key>HeadArrow</key>
+                                                       
<string>FilledArrow</string>
+                                                       <key>LineType</key>
+                                                       <integer>1</integer>
+                                                       <key>TailArrow</key>
+                                                       <string>0</string>
+                                               </dict>
+                                       </dict>
+                                       <key>Tail</key>
+                                       <dict>
+                                               <key>ID</key>
+                                               <integer>105</integer>
+                                               <key>Info</key>
+                                               <integer>3</integer>
+                                       </dict>
                                </dict>
-                       </dict>
-                       <key>Tail</key>
-                       <dict>
-                               <key>ID</key>
-                               <integer>82</integer>
-                               <key>Info</key>
-                               <integer>3</integer>
-                       </dict>
-               </dict>
-               <dict>
-                       <key>Bounds</key>
-                       <string>{{49.2062, 86.1111}, {44, 14}}</string>
-                       <key>Class</key>
-                       <string>ShapedGraphic</string>
-                       <key>FitText</key>
-                       <string>YES</string>
-                       <key>Flow</key>
-                       <string>Resize</string>
-                       <key>ID</key>
-                       <integer>82</integer>
-                       <key>Magnets</key>
-                       <array>
-                               <string>{0, 1}</string>
-                               <string>{0, -1}</string>
-                               <string>{1, 0}</string>
-                               <string>{-1, 0}</string>
-                       </array>
-                       <key>Shape</key>
-                       <string>Rectangle</string>
-                       <key>Style</key>
-                       <dict>
-                               <key>fill</key>
                                <dict>
-                                       <key>Draws</key>
+                                       <key>Bounds</key>
+                                       <string>{{49.2062, 92.6852}, {44, 
14}}</string>
+                                       <key>Class</key>
+                                       <string>ShapedGraphic</string>
+                                       <key>FitText</key>
+                                       <string>YES</string>
+                                       <key>Flow</key>
+                                       <string>Resize</string>
+                                       <key>ID</key>
+                                       <integer>105</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{0, 1}</string>
+                                               <string>{0, -1}</string>
+                                               <string>{1, 0}</string>
+                                               <string>{-1, 0}</string>
+                                       </array>
+                                       <key>Shape</key>
+                                       <string>Rectangle</string>
+                                       <key>Style</key>
+                                       <dict>
+                                               <key>fill</key>
+                                               <dict>
+                                                       <key>Draws</key>
+                                                       <string>NO</string>
+                                               </dict>
+                                               <key>shadow</key>
+                                               <dict>
+                                                       <key>Draws</key>
+                                                       <string>NO</string>
+                                               </dict>
+                                               <key>stroke</key>
+                                               <dict>
+                                                       <key>Draws</key>
+                                                       <string>NO</string>
+                                               </dict>
+                                       </dict>
+                                       <key>Text</key>
+                                       <dict>
+                                               <key>Align</key>
+                                               <integer>0</integer>
+                                               <key>Pad</key>
+                                               <integer>0</integer>
+                                               <key>Text</key>
+                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural
+
+\f0\fs24 \cf0 Guard 2}</string>
+                                               <key>VerticalPad</key>
+                                               <integer>0</integer>
+                                       </dict>
+                                       <key>Wrap</key>
                                        <string>NO</string>
                                </dict>
-                               <key>shadow</key>
                                <dict>
-                                       <key>Draws</key>
-                                       <string>NO</string>
-                               </dict>
-                               <key>stroke</key>
-                               <dict>
-                                       <key>Draws</key>
-                                       <string>NO</string>
-                               </dict>
-                       </dict>
-                       <key>Text</key>
-                       <dict>
-                               <key>Align</key>
-                               <integer>0</integer>
-                               <key>Pad</key>
-                               <integer>0</integer>
-                               <key>Text</key>
-                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
+                                       <key>Class</key>
+                                       <string>Group</string>
+                                       <key>Graphics</key>
+                                       <array>
+                                               <dict>
+                                                       <key>Bounds</key>
+                                                       <string>{{152.838, 
118.541}, {10.2668, 11.4967}}</string>
+                                                       <key>Class</key>
+                                                       
<string>ShapedGraphic</string>
+                                                       <key>ID</key>
+                                                       <integer>107</integer>
+                                                       <key>ImageID</key>
+                                                       <integer>2</integer>
+                                                       <key>Shape</key>
+                                                       
<string>Rectangle</string>
+                                                       <key>Style</key>
+                                                       <dict>
+                                                               <key>fill</key>
+                                                               <dict>
+                                                                       
<key>Draws</key>
+                                                                       
<string>NO</string>
+                                                               </dict>
+                                                               
<key>shadow</key>
+                                                               <dict>
+                                                                       
<key>Draws</key>
+                                                                       
<string>NO</string>
+                                                               </dict>
+                                                               
<key>stroke</key>
+                                                               <dict>
+                                                                       
<key>Draws</key>
+                                                                       
<string>NO</string>
+                                                               </dict>
+                                                       </dict>
+                                               </dict>
+                                               <dict>
+                                                       <key>Class</key>
+                                                       <string>Group</string>
+                                                       <key>Graphics</key>
+                                                       <array>
+                                                               <dict>
+                                                                       
<key>Bounds</key>
+                                                                       
<string>{{123.778, 107.109}, {91.222, 33.5389}}</string>
+                                                                       
<key>Class</key>
+                                                                       
<string>ShapedGraphic</string>
+                                                                       
<key>ID</key>
+                                                                       
<integer>109</integer>
+                                                                       
<key>Magnets</key>
+                                                                       <array>
+                                                                               
<string>{0, 1}</string>
+                                                                               
<string>{0, -1}</string>
+                                                                               
<string>{1, 0}</string>
+                                                                               
<string>{-1, 0}</string>
+                                                                       </array>
+                                                                       
<key>Shape</key>
+                                                                       
<string>Rectangle</string>
+                                                                       
<key>Style</key>
+                                                                       <dict/>
+                                                                       
<key>Text</key>
+                                                                       <dict>
+                                                                               
<key>Align</key>
+                                                                               
<integer>0</integer>
+                                                                               
<key>Text</key>
+                                                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
+{\fonttbl\f0\fnil\fcharset0 Monaco;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural
+
+\f0\fs20 \cf0 n =        }</string>
+                                                                       </dict>
+                                                               </dict>
+                                                               <dict>
+                                                                       
<key>Bounds</key>
+                                                                       
<string>{{123.778, 90.6482}, {91.222, 18.037}}</string>
+                                                                       
<key>Class</key>
+                                                                       
<string>ShapedGraphic</string>
+                                                                       
<key>ID</key>
+                                                                       
<integer>110</integer>
+                                                                       
<key>Magnets</key>
+                                                                       <array>
+                                                                               
<string>{0, 1}</string>
+                                                                               
<string>{0, -1}</string>
+                                                                               
<string>{1, 0}</string>
+                                                                               
<string>{-1, 0}</string>
+                                                                       </array>
+                                                                       
<key>Shape</key>
+                                                                       
<string>Rectangle</string>
+                                                                       
<key>Text</key>
+                                                                       <dict>
+                                                                               
<key>Text</key>
+                                                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
 {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
 {\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
 
-\f0\fs24 \cf0 Guard 5}</string>
-                               <key>VerticalPad</key>
-                               <integer>0</integer>
-                       </dict>
-                       <key>Wrap</key>
-                       <string>NO</string>
+\f0\fs24 \cf0 build}</string>
+                                                                       </dict>
+                                                               </dict>
+                                                       </array>
+                                                       <key>ID</key>
+                                                       <integer>108</integer>
+                                               </dict>
+                                       </array>
+                                       <key>ID</key>
+                                       <integer>106</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{0, 1}</string>
+                                               <string>{0, -1}</string>
+                                               <string>{1, 0}</string>
+                                               <string>{-1, 0}</string>
+                                       </array>
+                               </dict>
+                       </array>
+                       <key>ID</key>
+                       <integer>103</integer>
                </dict>
                <dict>
                        <key>Class</key>
@@ -426,8 +578,8 @@
                        <integer>81</integer>
                        <key>Points</key>
                        <array>
-                               <string>{152.074, 206}</string>
-                               <string>{152.074, 227.926}</string>
+                               <string>{169.389, 206}</string>
+                               <string>{169.389, 221.352}</string>
                        </array>
                        <key>Style</key>
                        <dict>
@@ -451,7 +603,7 @@
                </dict>
                <dict>
                        <key>Bounds</key>
-                       <string>{{151.383, 250.676}, {8, 9}}</string>
+                       <string>{{151.809, 243.478}, {9.70044, 
10.2484}}</string>
                        <key>Class</key>
                        <string>ShapedGraphic</string>
                        <key>ID</key>
@@ -486,7 +638,7 @@
                        <array>
                                <dict>
                                        <key>Bounds</key>
-                                       <string>{{123.778, 244.387}, {56.5927, 
33.5389}}</string>
+                                       <string>{{123.778, 237.813}, {91.222, 
33.5389}}</string>
                                        <key>Class</key>
                                        <string>ShapedGraphic</string>
                                        <key>FontInfo</key>
@@ -523,7 +675,7 @@
                                </dict>
                                <dict>
                                        <key>Bounds</key>
-                                       <string>{{123.778, 227.926}, {56.5927, 
18.037}}</string>
+                                       <string>{{123.778, 221.352}, {91.222, 
18.037}}</string>
                                        <key>Class</key>
                                        <string>ShapedGraphic</string>
                                        <key>FontInfo</key>
@@ -550,7 +702,7 @@
 {\colortbl;\red255\green255\blue255;}
 
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
 
-\f0\fs24 \cf0 f}</string>
+\f0\fs24 \cf0 check_reduces}</string>
                                        </dict>
                                </dict>
                        </array>
@@ -571,8 +723,8 @@
                        <integer>73</integer>
                        <key>Points</key>
                        <array>
-                               <string>{152.074, 134.074}</string>
-                               <string>{152.074, 156}</string>
+                               <string>{169.389, 140.648}</string>
+                               <string>{169.389, 156}</string>
                        </array>
                        <key>Style</key>
                        <dict>
@@ -589,7 +741,7 @@
                        <key>Tail</key>
                        <dict>
                                <key>ID</key>
-                               <integer>65</integer>
+                               <integer>109</integer>
                                <key>Info</key>
                                <integer>1</integer>
                        </dict>
@@ -601,7 +753,7 @@
                        <array>
                                <dict>
                                        <key>Bounds</key>
-                                       <string>{{152, 179}, {8, 9}}</string>
+                                       <string>{{123.778, 172.461}, {91.222, 
33.5389}}</string>
                                        <key>Class</key>
                                        <string>ShapedGraphic</string>
                                        <key>FontInfo</key>
@@ -612,233 +764,67 @@
                                                <real>10</real>
                                        </dict>
                                        <key>ID</key>
-                                       <integer>68</integer>
-                                       <key>ImageID</key>
-                                       <integer>2</integer>
+                                       <integer>70</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{0, 1}</string>
+                                               <string>{0, -1}</string>
+                                               <string>{1, 0}</string>
+                                               <string>{-1, 0}</string>
+                                       </array>
                                        <key>Shape</key>
                                        <string>Rectangle</string>
                                        <key>Style</key>
+                                       <dict/>
+                                       <key>Text</key>
                                        <dict>
-                                               <key>fill</key>
-                                               <dict>
-                                                       <key>Draws</key>
-                                                       <string>NO</string>
-                                               </dict>
-                                               <key>shadow</key>
-                                               <dict>
-                                                       <key>Draws</key>
-                                                       <string>NO</string>
-                                               </dict>
-                                               <key>stroke</key>
-                                               <dict>
-                                                       <key>Draws</key>
-                                                       <string>NO</string>
-                                               </dict>
-                                       </dict>
-                               </dict>
-                               <dict>
-                                       <key>Class</key>
-                                       <string>Group</string>
-                                       <key>Graphics</key>
-                                       <array>
-                                               <dict>
-                                                       <key>Bounds</key>
-                                                       <string>{{123.778, 
172.461}, {56.5927, 33.5389}}</string>
-                                                       <key>Class</key>
-                                                       
<string>ShapedGraphic</string>
-                                                       <key>FontInfo</key>
-                                                       <dict>
-                                                               <key>Font</key>
-                                                               
<string>Monaco</string>
-                                                               <key>Size</key>
-                                                               <real>10</real>
-                                                       </dict>
-                                                       <key>ID</key>
-                                                       <integer>70</integer>
-                                                       <key>Magnets</key>
-                                                       <array>
-                                                               <string>{0, 
1}</string>
-                                                               <string>{0, 
-1}</string>
-                                                               <string>{1, 
0}</string>
-                                                               <string>{-1, 
0}</string>
-                                                       </array>
-                                                       <key>Shape</key>
-                                                       
<string>Rectangle</string>
-                                                       <key>Style</key>
-                                                       <dict/>
-                                                       <key>Text</key>
-                                                       <dict>
-                                                               <key>Align</key>
-                                                               
<integer>0</integer>
-                                                               <key>Text</key>
-                                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
+                                               <key>Align</key>
+                                               <integer>0</integer>
+                                               <key>Text</key>
+                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
 {\fonttbl\f0\fnil\fcharset0 Monaco;}
 {\colortbl;\red255\green255\blue255;}
 
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural
 
 \f0\fs20 \cf0 n =\
 self =         }</string>
-                                                       </dict>
-                                               </dict>
-                                               <dict>
-                                                       <key>Bounds</key>
-                                                       <string>{{123.778, 
156}, {56.5927, 18.037}}</string>
-                                                       <key>Class</key>
-                                                       
<string>ShapedGraphic</string>
-                                                       <key>FontInfo</key>
-                                                       <dict>
-                                                               <key>Font</key>
-                                                               
<string>Monaco</string>
-                                                               <key>Size</key>
-                                                               <real>10</real>
-                                                       </dict>
-                                                       <key>ID</key>
-                                                       <integer>71</integer>
-                                                       <key>Magnets</key>
-                                                       <array>
-                                                               <string>{0, 
1}</string>
-                                                               <string>{0, 
-1}</string>
-                                                       </array>
-                                                       <key>Shape</key>
-                                                       
<string>Rectangle</string>
-                                                       <key>Text</key>
-                                                       <dict>
-                                                               <key>Text</key>
-                                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
+                                       </dict>
+                               </dict>
+                               <dict>
+                                       <key>Bounds</key>
+                                       <string>{{123.778, 156}, {91.222, 
18.037}}</string>
+                                       <key>Class</key>
+                                       <string>ShapedGraphic</string>
+                                       <key>FontInfo</key>
+                                       <dict>
+                                               <key>Font</key>
+                                               <string>Monaco</string>
+                                               <key>Size</key>
+                                               <real>10</real>
+                                       </dict>
+                                       <key>ID</key>
+                                       <integer>71</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{0, 1}</string>
+                                               <string>{0, -1}</string>
+                                       </array>
+                                       <key>Shape</key>
+                                       <string>Rectangle</string>
+                                       <key>Text</key>
+                                       <dict>
+                                               <key>Text</key>
+                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
 {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
 {\colortbl;\red255\green255\blue255;}
 
\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
 
-\f0\fs24 \cf0 even}</string>
-                                                       </dict>
-                                               </dict>
-                                       </array>
-                                       <key>ID</key>
-                                       <integer>69</integer>
+\f0\fs24 \cf0 Even.step}</string>
+                                       </dict>
                                </dict>
                        </array>
                        <key>ID</key>
-                       <integer>67</integer>
-                       <key>Magnets</key>
-                       <array>
-                               <string>{0, 1}</string>
-                               <string>{0, -1}</string>
-                               <string>{1, 0}</string>
-                               <string>{-1, 0}</string>
-                       </array>
-               </dict>
-               <dict>
-                       <key>Class</key>
-                       <string>Group</string>
-                       <key>Graphics</key>
-                       <array>
-                               <dict>
-                                       <key>Bounds</key>
-                                       <string>{{152.593, 113.333}, {8, 
9}}</string>
-                                       <key>Class</key>
-                                       <string>ShapedGraphic</string>
-                                       <key>ID</key>
-                                       <integer>63</integer>
-                                       <key>ImageID</key>
-                                       <integer>2</integer>
-                                       <key>Shape</key>
-                                       <string>Rectangle</string>
-                                       <key>Style</key>
-                                       <dict>
-                                               <key>fill</key>
-                                               <dict>
-                                                       <key>Draws</key>
-                                                       <string>NO</string>
-                                               </dict>
-                                               <key>shadow</key>
-                                               <dict>
-                                                       <key>Draws</key>
-                                                       <string>NO</string>
-                                               </dict>
-                                               <key>stroke</key>
-                                               <dict>
-                                                       <key>Draws</key>
-                                                       <string>NO</string>
-                                               </dict>
-                                       </dict>
-                               </dict>
-                               <dict>
-                                       <key>Class</key>
-                                       <string>Group</string>
-                                       <key>Graphics</key>
-                                       <array>
-                                               <dict>
-                                                       <key>Bounds</key>
-                                                       <string>{{123.778, 
100.535}, {56.5927, 33.5389}}</string>
-                                                       <key>Class</key>
-                                                       
<string>ShapedGraphic</string>
-                                                       <key>ID</key>
-                                                       <integer>65</integer>
-                                                       <key>Magnets</key>
-                                                       <array>
-                                                               <string>{0, 
1}</string>
-                                                               <string>{0, 
-1}</string>
-                                                               <string>{1, 
0}</string>
-                                                               <string>{-1, 
0}</string>
-                                                       </array>
-                                                       <key>Shape</key>
-                                                       
<string>Rectangle</string>
-                                                       <key>Style</key>
-                                                       <dict/>
-                                                       <key>Text</key>
-                                                       <dict>
-                                                               <key>Align</key>
-                                                               
<integer>0</integer>
-                                                               <key>Text</key>
-                                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
-{\fonttbl\f0\fnil\fcharset0 Monaco;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
-
-\f0\fs20 \cf0 n =        }</string>
-                                                       </dict>
-                                               </dict>
-                                               <dict>
-                                                       <key>Bounds</key>
-                                                       <string>{{123.778, 
84.0741}, {56.5927, 18.037}}</string>
-                                                       <key>Class</key>
-                                                       
<string>ShapedGraphic</string>
-                                                       <key>ID</key>
-                                                       <integer>66</integer>
-                                                       <key>Magnets</key>
-                                                       <array>
-                                                               <string>{0, 
1}</string>
-                                                               <string>{0, 
-1}</string>
-                                                               <string>{1, 
0}</string>
-                                                               <string>{-1, 
0}</string>
-                                                       </array>
-                                                       <key>Shape</key>
-                                                       
<string>Rectangle</string>
-                                                       <key>Text</key>
-                                                       <dict>
-                                                               <key>Text</key>
-                                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
-
-\f0\fs24 \cf0 build}</string>
-                                                       </dict>
-                                               </dict>
-                                       </array>
-                                       <key>ID</key>
-                                       <integer>64</integer>
-                               </dict>
-                       </array>
-                       <key>ID</key>
-                       <integer>62</integer>
-                       <key>Magnets</key>
-                       <array>
-                               <string>{0, 1}</string>
-                               <string>{0, -1}</string>
-                               <string>{1, 0}</string>
-                               <string>{-1, 0}</string>
-                       </array>
+                       <integer>69</integer>
                </dict>
        </array>
        <key>GridInfo</key>
@@ -3026,7 +3012,7 @@
        <key>MasterSheets</key>
        <array/>
        <key>ModificationDate</key>
-       <string>2012-08-08 14:34:46 +0200</string>
+       <string>2012-08-16 14:38:57 +0200</string>
        <key>Modifier</key>
        <string>Carl Friedrich Bolz</string>
        <key>NotesVisible</key>
@@ -3090,12 +3076,7 @@
                <key>CurrentSheet</key>
                <integer>0</integer>
                <key>ExpandedCanvases</key>
-               <array>
-                       <dict>
-                               <key>name</key>
-                               <string>Canvas 1</string>
-                       </dict>
-               </array>
+               <array/>
                <key>Frame</key>
                <string>{{141, 148}, {1041, 989}}</string>
                <key>ListView</key>
@@ -3111,15 +3092,15 @@
                <key>SidebarWidth</key>
                <integer>120</integer>
                <key>VisibleRegion</key>
-               <string>{{0, 0}, {446, 410}}</string>
+               <string>{{36.2264, 33.9623}, {336.604, 309.434}}</string>
                <key>Zoom</key>
-               <real>2</real>
+               <real>2.6500000953674316</real>
                <key>ZoomValues</key>
                <array>
                        <array>
                                <string>Canvas 1</string>
-                               <real>2</real>
-                               <real>4</real>
+                               <real>2.6500000953674316</real>
+                               <real>0.0</real>
                        </array>
                </array>
        </dict>
diff --git a/talk/vmil2012/figures/resume_data.pdf 
b/talk/vmil2012/figures/resume_data.pdf
index 
0f7081ecd847e11eed1b055b94f8db949049ec9b..3e8adeb60dcbfba8b2a63a1abb7659bcf61b7fb8
GIT binary patch

[cut]

diff --git a/talk/vmil2012/paper.tex b/talk/vmil2012/paper.tex
--- a/talk/vmil2012/paper.tex
+++ b/talk/vmil2012/paper.tex
@@ -479,8 +479,6 @@
 \lstinline{Even.step} as well as the description of the allocation-removed
 virtual instance of \lstinline{Even} are shared between the two guards.
 
-\todo{fix labels in diagram}
-
 % section Resume Data (end)
 
 \begin{figure}
@@ -493,7 +491,7 @@
 \label{sec:Guards in the Backend}
 
 \begin{figure}
-\includegraphics[width=0.5\textwidth]{figures/resume_data.pdf}
+\includegraphics[width=0.4\textwidth]{figures/resume_data.pdf}
 \caption{The resume data for Figure~\ref{fig:trace-log}}
 \label{fig:resume-data}
 \end{figure}
_______________________________________________
pypy-commit mailing list
[email protected]
http://mail.python.org/mailman/listinfo/pypy-commit

Reply via email to