Mercurial > hg > Papers > 2013 > kono-prosym

comparison presen/fig/Kleisli.graffle @ 12:5b51dffd2b19 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add fig
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 11 Jan 2014 09:48:32 +0900
parents
children
comparison
equal deleted inserted replaced
11:0a2454365e55 12:5b51dffd2b19
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 <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>2013-07-08 10:48:34 +0000</string>
46 <key>Creator</key>
47 <string>Shinji KONO</string>
48 <key>DisplayScale</key>
49 <string>1.000 cm = 1.000 cm</string>
50 <key>GraphDocumentVersion</key>
51 <integer>8</integer>
52 <key>GraphicsList</key>
53 <array>
54 <dict>
55 <key>Class</key>
56 <string>LineGraphic</string>
57 <key>Head</key>
58 <dict>
59 <key>ID</key>
60 <integer>14</integer>
61 </dict>
62 <key>ID</key>
63 <integer>17</integer>
64 <key>Points</key>
65 <array>
66 <string>{243.49998294040819, 124.40909076810254}</string>
67 <string>{315, 125}</string>
68 </array>
69 <key>Style</key>
70 <dict>
71 <key>stroke</key>
72 <dict>
73 <key>HeadArrow</key>
74 <string>FilledArrow</string>
75 <key>Legacy</key>
76 <true/>
77 <key>TailArrow</key>
78 <string>0</string>
79 </dict>
80 </dict>
81 <key>Tail</key>
82 <dict>
83 <key>ID</key>
84 <integer>4</integer>
85 </dict>
86 </dict>
87 <dict>
88 <key>Class</key>
89 <string>LineGraphic</string>
90 <key>Head</key>
91 <dict>
92 <key>ID</key>
93 <integer>4</integer>
94 </dict>
95 <key>ID</key>
96 <integer>16</integer>
97 <key>Points</key>
98 <array>
99 <string>{89, 124.95454545454545}</string>
100 <string>{144.50002067344198, 124.44999981205962}</string>
101 </array>
102 <key>Style</key>
103 <dict>
104 <key>stroke</key>
105 <dict>
106 <key>HeadArrow</key>
107 <string>FilledArrow</string>
108 <key>Legacy</key>
109 <true/>
110 <key>TailArrow</key>
111 <string>0</string>
112 </dict>
113 </dict>
114 <key>Tail</key>
115 <dict>
116 <key>ID</key>
117 <integer>3</integer>
118 </dict>
119 </dict>
120 <dict>
121 <key>Bounds</key>
122 <string>{{315, 92}, {79, 66}}</string>
123 <key>Class</key>
124 <string>ShapedGraphic</string>
125 <key>ID</key>
126 <integer>14</integer>
127 <key>Magnets</key>
128 <array>
129 <string>{0, 1}</string>
130 <string>{0, -1}</string>
131 <string>{1, 0}</string>
132 <string>{-1, 0}</string>
133 </array>
134 <key>Shape</key>
135 <string>Diamond</string>
136 <key>Style</key>
137 <dict/>
138 <key>Text</key>
139 <dict>
140 <key>Text</key>
141 <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390
142 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
143 {\colortbl;\red255\green255\blue255;}
144 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
145
146 \f0\fs24 \cf0 T(out)}</string>
147 </dict>
148 </dict>
149 <dict>
150 <key>Bounds</key>
151 <string>{{145, 104}, {98, 40}}</string>
152 <key>Class</key>
153 <string>ShapedGraphic</string>
154 <key>ID</key>
155 <integer>4</integer>
156 <key>Shape</key>
157 <string>Rectangle</string>
158 <key>Text</key>
159 <dict>
160 <key>Text</key>
161 <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390
162 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
163 {\colortbl;\red255\green255\blue255;}
164 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
165
166 \f0\fs24 \cf0 in-&gt; T(out)}</string>
167 </dict>
168 </dict>
169 <dict>
170 <key>Bounds</key>
171 <string>{{79, 118}, {10, 14}}</string>
172 <key>Class</key>
173 <string>ShapedGraphic</string>
174 <key>FitText</key>
175 <string>YES</string>
176 <key>Flow</key>
177 <string>Resize</string>
178 <key>ID</key>
179 <integer>3</integer>
180 <key>Shape</key>
181 <string>Rectangle</string>
182 <key>Style</key>
183 <dict>
184 <key>fill</key>
185 <dict>
186 <key>Draws</key>
187 <string>NO</string>
188 </dict>
189 <key>shadow</key>
190 <dict>
191 <key>Draws</key>
192 <string>NO</string>
193 </dict>
194 <key>stroke</key>
195 <dict>
196 <key>Draws</key>
197 <string>NO</string>
198 </dict>
199 </dict>
200 <key>Text</key>
201 <dict>
202 <key>Pad</key>
203 <integer>0</integer>
204 <key>Text</key>
205 <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390
206 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
207 {\colortbl;\red255\green255\blue255;}
208 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
209
210 \f0\fs24 \cf0 in}</string>
211 <key>VerticalPad</key>
212 <integer>0</integer>
213 </dict>
214 <key>Wrap</key>
215 <string>NO</string>
216 </dict>
217 </array>
218 <key>GridInfo</key>
219 <dict/>
220 <key>GuidesLocked</key>
221 <string>NO</string>
222 <key>GuidesVisible</key>
223 <string>YES</string>
224 <key>HPages</key>
225 <integer>1</integer>
226 <key>ImageCounter</key>
227 <integer>1</integer>
228 <key>KeepToScale</key>
229 <false/>
230 <key>Layers</key>
231 <array>
232 <dict>
233 <key>Lock</key>
234 <string>NO</string>
235 <key>Name</key>
236 <string>Layer 1</string>
237 <key>Print</key>
238 <string>YES</string>
239 <key>View</key>
240 <string>YES</string>
241 </dict>
242 </array>
243 <key>LayoutInfo</key>
244 <dict>
245 <key>Animate</key>
246 <string>NO</string>
247 <key>circoMinDist</key>
248 <real>18</real>
249 <key>circoSeparation</key>
250 <real>0.0</real>
251 <key>layoutEngine</key>
252 <string>dot</string>
253 <key>neatoSeparation</key>
254 <real>0.0</real>
255 <key>twopiSeparation</key>
256 <real>0.0</real>
257 </dict>
258 <key>LinksVisible</key>
259 <string>NO</string>
260 <key>MagnetsVisible</key>
261 <string>NO</string>
262 <key>MasterSheets</key>
263 <array/>
264 <key>ModificationDate</key>
265 <string>2013-07-08 10:50:26 +0000</string>
266 <key>Modifier</key>
267 <string>Shinji KONO</string>
268 <key>NotesVisible</key>
269 <string>NO</string>
270 <key>Orientation</key>
271 <integer>2</integer>
272 <key>OriginVisible</key>
273 <string>NO</string>
274 <key>PageBreaks</key>
275 <string>YES</string>
276 <key>PrintInfo</key>
277 <dict>
278 <key>NSBottomMargin</key>
279 <array>
280 <string>float</string>
281 <string>41</string>
282 </array>
283 <key>NSHorizonalPagination</key>
284 <array>
285 <string>coded</string>
286 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
287 </array>
288 <key>NSLeftMargin</key>
289 <array>
290 <string>float</string>
291 <string>18</string>
292 </array>
293 <key>NSPaperSize</key>
294 <array>
295 <string>size</string>
296 <string>{595, 842}</string>
297 </array>
298 <key>NSPrintReverseOrientation</key>
299 <array>
300 <string>int</string>
301 <string>0</string>
302 </array>
303 <key>NSRightMargin</key>
304 <array>
305 <string>float</string>
306 <string>18</string>
307 </array>
308 <key>NSTopMargin</key>
309 <array>
310 <string>float</string>
311 <string>18</string>
312 </array>
313 </dict>
314 <key>PrintOnePage</key>
315 <false/>
316 <key>ReadOnly</key>
317 <string>NO</string>
318 <key>RowAlign</key>
319 <integer>1</integer>
320 <key>RowSpacing</key>
321 <real>36</real>
322 <key>SheetTitle</key>
323 <string>Canvas 1</string>
324 <key>SmartAlignmentGuidesActive</key>
325 <string>YES</string>
326 <key>SmartDistanceGuidesActive</key>
327 <string>YES</string>
328 <key>UniqueID</key>
329 <integer>1</integer>
330 <key>UseEntirePage</key>
331 <false/>
332 <key>VPages</key>
333 <integer>1</integer>
334 <key>WindowInfo</key>
335 <dict>
336 <key>CurrentSheet</key>
337 <integer>0</integer>
338 <key>ExpandedCanvases</key>
339 <array>
340 <dict>
341 <key>name</key>
342 <string>Canvas 1</string>
343 </dict>
344 </array>
345 <key>Frame</key>
346 <string>{{632, 180}, {693, 922}}</string>
347 <key>ListView</key>
348 <true/>
349 <key>OutlineWidth</key>
350 <integer>142</integer>
351 <key>RightSidebar</key>
352 <false/>
353 <key>ShowRuler</key>
354 <true/>
355 <key>Sidebar</key>
356 <true/>
357 <key>SidebarWidth</key>
358 <integer>120</integer>
359 <key>VisibleRegion</key>
360 <string>{{0, 0}, {558, 783}}</string>
361 <key>Zoom</key>
362 <real>1</real>
363 <key>ZoomValues</key>
364 <array>
365 <array>
366 <string>Canvas 1</string>
367 <real>1</real>
368 <real>1</real>
369 </array>
370 </array>
371 </dict>
372 </dict>
373 </plist>