50 [\<^path>\<open>Library.hs\<close>, |
50 [\<^path>\<open>Library.hs\<close>, |
51 \<^path>\<open>Value.hs\<close>, |
51 \<^path>\<open>Value.hs\<close>, |
52 \<^path>\<open>Buffer.hs\<close>, |
52 \<^path>\<open>Buffer.hs\<close>, |
53 \<^path>\<open>Properties.hs\<close>, |
53 \<^path>\<open>Properties.hs\<close>, |
54 \<^path>\<open>Markup.hs\<close>, |
54 \<^path>\<open>Markup.hs\<close>, |
|
55 \<^path>\<open>Completion.hs\<close>, |
|
56 \<^path>\<open>File.hs\<close>, |
55 \<^path>\<open>XML.hs\<close>, |
57 \<^path>\<open>XML.hs\<close>, |
56 \<^path>\<open>XML/Encode.hs\<close>, |
58 \<^path>\<open>XML/Encode.hs\<close>, |
57 \<^path>\<open>XML/Decode.hs\<close>, |
59 \<^path>\<open>XML/Decode.hs\<close>, |
58 \<^path>\<open>YXML.hs\<close>, |
60 \<^path>\<open>YXML.hs\<close>, |
59 \<^path>\<open>Pretty.hs\<close>, |
61 \<^path>\<open>Pretty.hs\<close>, |