equal
deleted
inserted
replaced
45 |
45 |
46 (* source modules *) |
46 (* source modules *) |
47 |
47 |
48 val source_modules = |
48 val source_modules = |
49 [\<^file>\<open>~~/src/Tools/Haskell/Library.hs\<close>, |
49 [\<^file>\<open>~~/src/Tools/Haskell/Library.hs\<close>, |
|
50 \<^file>\<open>~~/src/Tools/Haskell/Value.hs\<close>, |
50 \<^file>\<open>~~/src/Tools/Haskell/Buffer.hs\<close>, |
51 \<^file>\<open>~~/src/Tools/Haskell/Buffer.hs\<close>, |
51 \<^file>\<open>~~/src/Tools/Haskell/Properties.hs\<close>, |
52 \<^file>\<open>~~/src/Tools/Haskell/Properties.hs\<close>, |
52 \<^file>\<open>~~/src/Tools/Haskell/Markup.hs\<close>, |
53 \<^file>\<open>~~/src/Tools/Haskell/Markup.hs\<close>, |
53 \<^file>\<open>~~/src/Tools/Haskell/XML.hs\<close>, |
54 \<^file>\<open>~~/src/Tools/Haskell/XML.hs\<close>, |
54 \<^file>\<open>~~/src/Tools/Haskell/YXML.hs\<close>]; |
55 \<^file>\<open>~~/src/Tools/Haskell/YXML.hs\<close>]; |