| changeset 69248 | 9f21381600e3 |
| parent 69240 | 16ca270090b6 |
| child 69282 | 94fa3376ba33 |
--- a/src/Tools/Haskell/haskell.ML Tue Nov 06 14:30:53 2018 +0100 +++ b/src/Tools/Haskell/haskell.ML Tue Nov 06 14:53:56 2018 +0100 @@ -56,6 +56,7 @@ \<^path>\<open>XML/Encode.hs\<close>, \<^path>\<open>XML/Decode.hs\<close>, \<^path>\<open>YXML.hs\<close>, + \<^path>\<open>Pretty.hs\<close>, \<^path>\<open>Term.hs\<close>, \<^path>\<open>Term_XML/Encode.hs\<close>, \<^path>\<open>Term_XML/Decode.hs\<close>];