# HG changeset patch # User wenzelm # Date 1541272335 -3600 # Node ID f4263f7ec9a44909bb715ea77c59e32c83707538 # Parent 71b48b7498360b4d896473071f3329f87d611a50 tuned whitespace; diff -r 71b48b749836 -r f4263f7ec9a4 src/Tools/Haskell/Haskell.thy --- a/src/Tools/Haskell/Haskell.thy Sat Nov 03 20:09:39 2018 +0100 +++ b/src/Tools/Haskell/Haskell.thy Sat Nov 03 20:12:15 2018 +0100 @@ -257,7 +257,6 @@ inlining into plain text. -} - module Isabelle.YXML (charX, charY, strX, strY, detect, buffer_body, buffer, string_of_body, string_of, parse_body, parse) where diff -r 71b48b749836 -r f4263f7ec9a4 src/Tools/Haskell/YXML.hs --- a/src/Tools/Haskell/YXML.hs Sat Nov 03 20:09:39 2018 +0100 +++ b/src/Tools/Haskell/YXML.hs Sat Nov 03 20:12:15 2018 +0100 @@ -8,7 +8,6 @@ inlining into plain text. -} - module Isabelle.YXML (charX, charY, strX, strY, detect, buffer_body, buffer, string_of_body, string_of, parse_body, parse) where