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">
5 <key>currentDocument</key>
6 <string>source/resources/ug-footer.md</string>
13 <string>source</string>
14 <key>regexFolderFilter</key>
15 <string>!.*/(\.[^/]*|CVS|_darcs|_MTN|\{arch\}|blib|.*~\.nib|.*\.(framework|app|pbproj|pbxproj|xcode(proj)?|bundle))$</string>
16 <key>sourceDirectory</key>
17 <string>source</string>
21 <string>../../shared/shared-links.md</string>
23 <date>2011-03-05T15:01:05Z</date>
26 <key>fileHierarchyDrawerWidth</key>
27 <integer>190</integer>
30 <key>../../shared/shared-links.md</key>
39 <key>firstVisibleColumn</key>
41 <key>firstVisibleLine</key>
44 <key>source/index.mmd</key>
53 <key>firstVisibleColumn</key>
55 <key>firstVisibleLine</key>
58 <key>source/resources/footer.md</key>
67 <key>firstVisibleColumn</key>
69 <key>firstVisibleLine</key>
72 <key>source/resources/header.md</key>
81 <key>firstVisibleColumn</key>
83 <key>firstVisibleLine</key>
86 <key>source/resources/navigation.md</key>
95 <key>firstVisibleColumn</key>
97 <key>firstVisibleLine</key>
100 <key>source/resources/shared-header.md</key>
109 <key>firstVisibleColumn</key>
111 <key>firstVisibleLine</key>
114 <key>source/resources/ug-footer.md</key>
119 <integer>104</integer>
123 <key>firstVisibleColumn</key>
125 <key>firstVisibleLine</key>
128 <key>source/resources/ug-header.md</key>
137 <key>firstVisibleColumn</key>
139 <key>firstVisibleLine</key>
142 <key>source/user-guide-details/algorithms.mmd</key>
147 <integer>32</integer>
149 <integer>26</integer>
151 <key>firstVisibleColumn</key>
153 <key>firstVisibleLine</key>
156 <key>source/user-guide-details/deprecated.mmd</key>
165 <key>firstVisibleColumn</key>
167 <key>firstVisibleLine</key>
170 <key>source/user-guide-details/dotty.mmd</key>
179 <key>firstVisibleColumn</key>
181 <key>firstVisibleLine</key>
184 <key>source/user-guide-details/introspection.mmd</key>
193 <key>firstVisibleColumn</key>
195 <key>firstVisibleLine</key>
198 <key>source/user-guide-details/iteration.mmd</key>
207 <key>firstVisibleColumn</key>
209 <key>firstVisibleLine</key>
212 <key>source/user-guide-details/manipulation.mmd</key>
221 <key>firstVisibleColumn</key>
223 <key>firstVisibleLine</key>
226 <key>source/user-guide-details/miscellaneous.mmd</key>
235 <key>firstVisibleColumn</key>
237 <key>firstVisibleLine</key>
240 <key>source/user-guide-details/motivation.mmd</key>
247 <integer>29</integer>
249 <key>firstVisibleColumn</key>
251 <key>firstVisibleLine</key>
254 <key>source/user-guide-details/random-graphs.mmd</key>
263 <key>firstVisibleColumn</key>
265 <key>firstVisibleLine</key>
268 <key>source/user-guide-details/search.mmd</key>
277 <key>firstVisibleColumn</key>
279 <key>firstVisibleLine</key>
282 <key>source/user-guide.css</key>
291 <key>firstVisibleColumn</key>
293 <key>firstVisibleLine</key>
296 <key>source/user-guide.mmd</key>
305 <key>firstVisibleColumn</key>
307 <key>firstVisibleLine</key>
311 <key>openDocuments</key>
313 <string>source/resources/header.md</string>
314 <string>source/user-guide.css</string>
315 <string>source/user-guide-details/motivation.mmd</string>
316 <string>source/user-guide-details/miscellaneous.mmd</string>
317 <string>source/user-guide-details/manipulation.mmd</string>
318 <string>source/user-guide-details/introspection.mmd</string>
319 <string>source/user-guide-details/search.mmd</string>
320 <string>source/user-guide-details/iteration.mmd</string>
321 <string>source/user-guide-details/deprecated.mmd</string>
322 <string>source/user-guide-details/dotty.mmd</string>
323 <string>source/user-guide-details/random-graphs.mmd</string>
324 <string>source/user-guide-details/algorithms.mmd</string>
325 <string>../../shared/shared-links.md</string>
326 <string>source/index.mmd</string>
327 <string>source/user-guide.mmd</string>
328 <string>source/resources/ug-header.md</string>
329 <string>source/resources/shared-header.md</string>
330 <string>source/resources/ug-footer.md</string>
331 <string>source/resources/footer.md</string>
332 <string>source/resources/navigation.md</string>
334 <key>showFileHierarchyDrawer</key>
336 <key>windowFrame</key>
337 <string>{{611, 0}, {578, 778}}</string>