# 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