Mercurial > hg > Papers > 2014 > toma-master

comparison paper/images/rpar_rseq.graffle @ 16:eb6a70fc9c9f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
describe the haskell
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Sat, 01 Feb 2014 08:40:15 +0900
parents
children
comparison
equal deleted inserted replaced
15:a551888363cb 16:eb6a70fc9c9f
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.OmniGrafflePro</string>
10 <string>139.17.0.185490</string>
11 </array>
12 <key>AutoAdjust</key>
13 <false/>
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>2014-01-31 23:10:45 +0000</string>
46 <key>Creator</key>
47 <string>Daichi TOMA</string>
48 <key>DisplayScale</key>
49 <string>1.000 cm = 1.000 m</string>
50 <key>GraphDocumentVersion</key>
51 <integer>8</integer>
52 <key>GraphicsList</key>
53 <array>
54 <dict>
55 <key>Class</key>
56 <string>Group</string>
57 <key>Graphics</key>
58 <array>
59 <dict>
60 <key>Bounds</key>
61 <string>{{471, 286.00031280517578}, {32, 14}}</string>
62 <key>Class</key>
63 <string>ShapedGraphic</string>
64 <key>FitText</key>
65 <string>YES</string>
66 <key>Flow</key>
67 <string>Resize</string>
68 <key>ID</key>
69 <integer>16</integer>
70 <key>Shape</key>
71 <string>Rectangle</string>
72 <key>Style</key>
73 <dict>
74 <key>fill</key>
75 <dict>
76 <key>Draws</key>
77 <string>NO</string>
78 </dict>
79 <key>shadow</key>
80 <dict>
81 <key>Draws</key>
82 <string>NO</string>
83 </dict>
84 <key>stroke</key>
85 <dict>
86 <key>Draws</key>
87 <string>NO</string>
88 </dict>
89 </dict>
90 <key>Text</key>
91 <dict>
92 <key>Pad</key>
93 <integer>0</integer>
94 <key>Text</key>
95 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
96 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
97 {\colortbl;\red255\green255\blue255;}
98 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
99
100 \f0\fs24 \cf0 return}</string>
101 <key>VerticalPad</key>
102 <integer>0</integer>
103 </dict>
104 <key>Wrap</key>
105 <string>NO</string>
106 </dict>
107 <dict>
108 <key>Class</key>
109 <string>LineGraphic</string>
110 <key>ID</key>
111 <integer>17</integer>
112 <key>Points</key>
113 <array>
114 <string>{486.5, 113.00031280517578}</string>
115 <string>{486.5, 279.00031280517578}</string>
116 </array>
117 <key>Style</key>
118 <dict>
119 <key>stroke</key>
120 <dict>
121 <key>HeadArrow</key>
122 <string>0</string>
123 <key>Legacy</key>
124 <true/>
125 <key>Pattern</key>
126 <integer>1</integer>
127 <key>TailArrow</key>
128 <string>0</string>
129 <key>Width</key>
130 <real>2</real>
131 </dict>
132 </dict>
133 </dict>
134 </array>
135 <key>ID</key>
136 <integer>15</integer>
137 </dict>
138 <dict>
139 <key>Class</key>
140 <string>Group</string>
141 <key>Graphics</key>
142 <array>
143 <dict>
144 <key>Bounds</key>
145 <string>{{216, 249}, {23, 14}}</string>
146 <key>Class</key>
147 <string>ShapedGraphic</string>
148 <key>FitText</key>
149 <string>YES</string>
150 <key>Flow</key>
151 <string>Resize</string>
152 <key>FontInfo</key>
153 <dict>
154 <key>Font</key>
155 <string>Helvetica</string>
156 <key>Size</key>
157 <real>12</real>
158 </dict>
159 <key>ID</key>
160 <integer>13</integer>
161 <key>Shape</key>
162 <string>Rectangle</string>
163 <key>Style</key>
164 <dict>
165 <key>fill</key>
166 <dict>
167 <key>Draws</key>
168 <string>NO</string>
169 </dict>
170 <key>shadow</key>
171 <dict>
172 <key>Draws</key>
173 <string>NO</string>
174 </dict>
175 <key>stroke</key>
176 <dict>
177 <key>Draws</key>
178 <string>NO</string>
179 </dict>
180 </dict>
181 <key>Text</key>
182 <dict>
183 <key>Pad</key>
184 <integer>0</integer>
185 <key>Text</key>
186 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
187 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
188 {\colortbl;\red255\green255\blue255;}
189 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
190
191 \f0\fs24 \cf0 time}</string>
192 <key>VerticalPad</key>
193 <integer>0</integer>
194 </dict>
195 <key>Wrap</key>
196 <string>NO</string>
197 </dict>
198 <dict>
199 <key>Class</key>
200 <string>LineGraphic</string>
201 <key>ID</key>
202 <integer>14</integer>
203 <key>Points</key>
204 <array>
205 <string>{147, 248}</string>
206 <string>{317.07875061035156, 248}</string>
207 </array>
208 <key>Style</key>
209 <dict>
210 <key>stroke</key>
211 <dict>
212 <key>HeadArrow</key>
213 <string>FilledArrow</string>
214 <key>Legacy</key>
215 <true/>
216 <key>LineType</key>
217 <integer>1</integer>
218 <key>TailArrow</key>
219 <string>0</string>
220 <key>Width</key>
221 <real>2</real>
222 </dict>
223 </dict>
224 </dict>
225 </array>
226 <key>ID</key>
227 <integer>12</integer>
228 </dict>
229 <dict>
230 <key>Bounds</key>
231 <string>{{147, 187}, {170.07875061035156, 40}}</string>
232 <key>Class</key>
233 <string>ShapedGraphic</string>
234 <key>ID</key>
235 <integer>6</integer>
236 <key>Shape</key>
237 <string>Rectangle</string>
238 <key>Style</key>
239 <dict>
240 <key>shadow</key>
241 <dict>
242 <key>Draws</key>
243 <string>NO</string>
244 </dict>
245 <key>stroke</key>
246 <dict>
247 <key>Width</key>
248 <real>2</real>
249 </dict>
250 </dict>
251 <key>Text</key>
252 <dict>
253 <key>Align</key>
254 <integer>0</integer>
255 <key>Text</key>
256 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
257 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 RictyDiscord-Regular;}
258 {\colortbl;\red255\green255\blue255;}
259 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
260
261 \f0\fs36 \cf0 f y}</string>
262 </dict>
263 </dict>
264 <dict>
265 <key>Bounds</key>
266 <string>{{147, 135}, {340.15750122070312, 40}}</string>
267 <key>Class</key>
268 <string>ShapedGraphic</string>
269 <key>ID</key>
270 <integer>5</integer>
271 <key>Shape</key>
272 <string>Rectangle</string>
273 <key>Style</key>
274 <dict>
275 <key>shadow</key>
276 <dict>
277 <key>Draws</key>
278 <string>NO</string>
279 </dict>
280 <key>stroke</key>
281 <dict>
282 <key>Width</key>
283 <real>2</real>
284 </dict>
285 </dict>
286 <key>Text</key>
287 <dict>
288 <key>Align</key>
289 <integer>0</integer>
290 <key>Text</key>
291 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
292 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 RictyDiscord-Regular;}
293 {\colortbl;\red255\green255\blue255;}
294 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
295
296 \f0\fs36 \cf0 f x}</string>
297 </dict>
298 </dict>
299 </array>
300 <key>GridInfo</key>
301 <dict/>
302 <key>GuidesLocked</key>
303 <string>NO</string>
304 <key>GuidesVisible</key>
305 <string>YES</string>
306 <key>HPages</key>
307 <integer>1</integer>
308 <key>ImageCounter</key>
309 <integer>1</integer>
310 <key>KeepToScale</key>
311 <true/>
312 <key>Layers</key>
313 <array>
314 <dict>
315 <key>Lock</key>
316 <string>NO</string>
317 <key>Name</key>
318 <string>Layer 1</string>
319 <key>Print</key>
320 <string>YES</string>
321 <key>View</key>
322 <string>YES</string>
323 </dict>
324 </array>
325 <key>LayoutInfo</key>
326 <dict>
327 <key>Animate</key>
328 <string>NO</string>
329 <key>circoMinDist</key>
330 <real>18</real>
331 <key>circoSeparation</key>
332 <real>0.0</real>
333 <key>layoutEngine</key>
334 <string>dot</string>
335 <key>neatoSeparation</key>
336 <real>0.0</real>
337 <key>twopiSeparation</key>
338 <real>0.0</real>
339 </dict>
340 <key>LinksVisible</key>
341 <string>NO</string>
342 <key>MagnetsVisible</key>
343 <string>NO</string>
344 <key>MasterSheets</key>
345 <array/>
346 <key>ModificationDate</key>
347 <string>2014-01-31 23:20:43 +0000</string>
348 <key>Modifier</key>
349 <string>Daichi TOMA</string>
350 <key>NotesVisible</key>
351 <string>NO</string>
352 <key>Orientation</key>
353 <integer>2</integer>
354 <key>OriginVisible</key>
355 <string>NO</string>
356 <key>PageBreaks</key>
357 <string>YES</string>
358 <key>PrintInfo</key>
359 <dict>
360 <key>NSBottomMargin</key>
361 <array>
362 <string>float</string>
363 <string>41</string>
364 </array>
365 <key>NSHorizonalPagination</key>
366 <array>
367 <string>coded</string>
368 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
369 </array>
370 <key>NSLeftMargin</key>
371 <array>
372 <string>float</string>
373 <string>18</string>
374 </array>
375 <key>NSPaperSize</key>
376 <array>
377 <string>size</string>
378 <string>{595, 842}</string>
379 </array>
380 <key>NSPrintReverseOrientation</key>
381 <array>
382 <string>int</string>
383 <string>0</string>
384 </array>
385 <key>NSRightMargin</key>
386 <array>
387 <string>float</string>
388 <string>18</string>
389 </array>
390 <key>NSTopMargin</key>
391 <array>
392 <string>float</string>
393 <string>18</string>
394 </array>
395 </dict>
396 <key>PrintOnePage</key>
397 <false/>
398 <key>ReadOnly</key>
399 <string>NO</string>
400 <key>RowAlign</key>
401 <integer>1</integer>
402 <key>RowSpacing</key>
403 <real>36</real>
404 <key>SheetTitle</key>
405 <string>Canvas 1</string>
406 <key>SmartAlignmentGuidesActive</key>
407 <string>YES</string>
408 <key>SmartDistanceGuidesActive</key>
409 <string>YES</string>
410 <key>UniqueID</key>
411 <integer>1</integer>
412 <key>UseEntirePage</key>
413 <false/>
414 <key>VPages</key>
415 <integer>1</integer>
416 <key>WindowInfo</key>
417 <dict>
418 <key>CurrentSheet</key>
419 <integer>0</integer>
420 <key>ExpandedCanvases</key>
421 <array>
422 <dict>
423 <key>name</key>
424 <string>Canvas 1</string>
425 </dict>
426 </array>
427 <key>Frame</key>
428 <string>{{1058, 436}, {785, 922}}</string>
429 <key>ListView</key>
430 <true/>
431 <key>OutlineWidth</key>
432 <integer>142</integer>
433 <key>RightSidebar</key>
434 <false/>
435 <key>ShowRuler</key>
436 <true/>
437 <key>Sidebar</key>
438 <true/>
439 <key>SidebarWidth</key>
440 <integer>119</integer>
441 <key>VisibleRegion</key>
442 <string>{{-46, 0}, {651, 783}}</string>
443 <key>Zoom</key>
444 <real>1</real>
445 <key>ZoomValues</key>
446 <array>
447 <array>
448 <string>Canvas 1</string>
449 <real>1</real>
450 <real>1</real>
451 </array>
452 </array>
453 </dict>
454 </dict>
455 </plist>