Mercurial > hg > Gears > GearsAgda

comparison doc/Context.graffle @ 1:dad4a54b3f12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add graffle
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Sun, 15 Mar 2015 16:20:45 +0900
parents
children
comparison
equal deleted inserted replaced
0:e237b6466b02 1:dad4a54b3f12
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3 <plist version="1.0">
4 <dict>
5 <key>ActiveLayerIndex</key>
6 <integer>0</integer>
7 <key>ApplicationVersion</key>
8 <array>
9 <string>com.omnigroup.OmniGraffle</string>
10 <string>139.18.0.187838</string>
11 </array>
12 <key>AutoAdjust</key>
13 <true/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {559, 783}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>ID</key>
21 <integer>2</integer>
22 <key>Style</key>
23 <dict>
24 <key>shadow</key>
25 <dict>
26 <key>Draws</key>
27 <string>NO</string>
28 </dict>
29 <key>stroke</key>
30 <dict>
31 <key>Draws</key>
32 <string>NO</string>
33 </dict>
34 </dict>
35 </dict>
36 <key>BaseZoom</key>
37 <integer>0</integer>
38 <key>CanvasOrigin</key>
39 <string>{0, 0}</string>
40 <key>ColumnAlign</key>
41 <integer>1</integer>
42 <key>ColumnSpacing</key>
43 <real>36</real>
44 <key>CreationDate</key>
45 <string>2015-02-17 15:18:26 +0000</string>
46 <key>Creator</key>
47 <string>kkb</string>
48 <key>DisplayScale</key>
49 <string>1 0/72 in = 1.0000 in</string>
50 <key>GraphDocumentVersion</key>
51 <integer>8</integer>
52 <key>GraphicsList</key>
53 <array>
54 <dict>
55 <key>Class</key>
56 <string>TableGroup</string>
57 <key>Graphics</key>
58 <array>
59 <dict>
60 <key>Bounds</key>
61 <string>{{75, 106}, {190, 14}}</string>
62 <key>Class</key>
63 <string>ShapedGraphic</string>
64 <key>FitText</key>
65 <string>Vertical</string>
66 <key>Flow</key>
67 <string>Resize</string>
68 <key>ID</key>
69 <integer>37</integer>
70 <key>Shape</key>
71 <string>Rectangle</string>
72 <key>Style</key>
73 <dict>
74 <key>fill</key>
75 <dict>
76 <key>GradientCenter</key>
77 <string>{-0.29411799999999999, -0.264706}</string>
78 </dict>
79 </dict>
80 <key>Text</key>
81 <dict>
82 <key>Text</key>
83 <string>{\rtf1\ansi\ansicpg1252\cocoartf1344\cocoasubrtf720
84 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
85 {\colortbl;\red255\green255\blue255;}
86 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc
87
88 \f0\b\fs24 \cf0 Context/Process/HTask}</string>
89 <key>VerticalPad</key>
90 <integer>0</integer>
91 </dict>
92 <key>TextPlacement</key>
93 <integer>0</integer>
94 </dict>
95 <dict>
96 <key>Bounds</key>
97 <string>{{75, 120}, {190, 42}}</string>
98 <key>Class</key>
99 <string>ShapedGraphic</string>
100 <key>FitText</key>
101 <string>Vertical</string>
102 <key>Flow</key>
103 <string>Resize</string>
104 <key>ID</key>
105 <integer>38</integer>
106 <key>Shape</key>
107 <string>Rectangle</string>
108 <key>Style</key>
109 <dict>
110 <key>fill</key>
111 <dict>
112 <key>GradientCenter</key>
113 <string>{-0.29411799999999999, -0.264706}</string>
114 </dict>
115 </dict>
116 <key>Text</key>
117 <dict>
118 <key>Align</key>
119 <integer>0</integer>
120 <key>Text</key>
121 <string>{\rtf1\ansi\ansicpg1252\cocoartf1344\cocoasubrtf720
122 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
123 {\colortbl;\red255\green255\blue255;}
124 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720
125
126 \f0\fs24 \cf0 in\
127 out\
128 code segment}</string>
129 <key>VerticalPad</key>
130 <integer>0</integer>
131 </dict>
132 <key>TextPlacement</key>
133 <integer>0</integer>
134 </dict>
135 </array>
136 <key>GridH</key>
137 <array>
138 <integer>37</integer>
139 <integer>38</integer>
140 <array/>
141 </array>
142 <key>ID</key>
143 <integer>36</integer>
144 </dict>
145 </array>
146 <key>GridInfo</key>
147 <dict/>
148 <key>GuidesLocked</key>
149 <string>NO</string>
150 <key>GuidesVisible</key>
151 <string>YES</string>
152 <key>HPages</key>
153 <integer>1</integer>
154 <key>ImageCounter</key>
155 <integer>3</integer>
156 <key>KeepToScale</key>
157 <false/>
158 <key>Layers</key>
159 <array>
160 <dict>
161 <key>Lock</key>
162 <string>NO</string>
163 <key>Name</key>
164 <string>Layer 1</string>
165 <key>Print</key>
166 <string>YES</string>
167 <key>View</key>
168 <string>YES</string>
169 </dict>
170 </array>
171 <key>LayoutInfo</key>
172 <dict>
173 <key>Animate</key>
174 <string>NO</string>
175 <key>circoMinDist</key>
176 <real>18</real>
177 <key>circoSeparation</key>
178 <real>0.0</real>
179 <key>layoutEngine</key>
180 <string>dot</string>
181 <key>neatoSeparation</key>
182 <real>0.0</real>
183 <key>twopiSeparation</key>
184 <real>0.0</real>
185 </dict>
186 <key>LinksVisible</key>
187 <string>NO</string>
188 <key>MagnetsVisible</key>
189 <string>NO</string>
190 <key>MasterSheets</key>
191 <array/>
192 <key>ModificationDate</key>
193 <string>2015-03-15 06:53:19 +0000</string>
194 <key>Modifier</key>
195 <string>kkb</string>
196 <key>NotesVisible</key>
197 <string>NO</string>
198 <key>Orientation</key>
199 <integer>2</integer>
200 <key>OriginVisible</key>
201 <string>NO</string>
202 <key>PageBreaks</key>
203 <string>YES</string>
204 <key>PrintInfo</key>
205 <dict>
206 <key>NSBottomMargin</key>
207 <array>
208 <string>float</string>
209 <string>41</string>
210 </array>
211 <key>NSHorizonalPagination</key>
212 <array>
213 <string>coded</string>
214 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
215 </array>
216 <key>NSLeftMargin</key>
217 <array>
218 <string>float</string>
219 <string>18</string>
220 </array>
221 <key>NSPaperSize</key>
222 <array>
223 <string>size</string>
224 <string>{595, 842}</string>
225 </array>
226 <key>NSPrintReverseOrientation</key>
227 <array>
228 <string>int</string>
229 <string>0</string>
230 </array>
231 <key>NSRightMargin</key>
232 <array>
233 <string>float</string>
234 <string>18</string>
235 </array>
236 <key>NSTopMargin</key>
237 <array>
238 <string>float</string>
239 <string>18</string>
240 </array>
241 </dict>
242 <key>PrintOnePage</key>
243 <false/>
244 <key>ReadOnly</key>
245 <string>NO</string>
246 <key>RowAlign</key>
247 <integer>1</integer>
248 <key>RowSpacing</key>
249 <real>36</real>
250 <key>SheetTitle</key>
251 <string>Canvas 1</string>
252 <key>SmartAlignmentGuidesActive</key>
253 <string>YES</string>
254 <key>SmartDistanceGuidesActive</key>
255 <string>YES</string>
256 <key>UniqueID</key>
257 <integer>1</integer>
258 <key>UseEntirePage</key>
259 <false/>
260 <key>VPages</key>
261 <integer>1</integer>
262 <key>WindowInfo</key>
263 <dict>
264 <key>CurrentSheet</key>
265 <integer>0</integer>
266 <key>ExpandedCanvases</key>
267 <array>
268 <dict>
269 <key>name</key>
270 <string>Canvas 1</string>
271 </dict>
272 </array>
273 <key>Frame</key>
274 <string>{{1619, 633}, {693, 925}}</string>
275 <key>ListView</key>
276 <true/>
277 <key>OutlineWidth</key>
278 <integer>142</integer>
279 <key>RightSidebar</key>
280 <false/>
281 <key>ShowRuler</key>
282 <true/>
283 <key>Sidebar</key>
284 <true/>
285 <key>SidebarWidth</key>
286 <integer>120</integer>
287 <key>VisibleRegion</key>
288 <string>{{0, 0}, {558, 783}}</string>
289 <key>Zoom</key>
290 <real>1</real>
291 <key>ZoomValues</key>
292 <array>
293 <array>
294 <string>Canvas 1</string>
295 <real>1</real>
296 <real>1</real>
297 </array>
298 </array>
299 </dict>
300 </dict>
301 </plist>