tuned whitespace;
authorwenzelm
Sat Nov 03 20:12:15 2018 +0100 (6 months ago)
changeset 69228f4263f7ec9a4
parent 69227 71b48b749836
child 69229 043cbeb0b1cf
tuned whitespace;
src/Tools/Haskell/Haskell.thy
src/Tools/Haskell/YXML.hs
     1.1 --- a/src/Tools/Haskell/Haskell.thy	Sat Nov 03 20:09:39 2018 +0100
     1.2 +++ b/src/Tools/Haskell/Haskell.thy	Sat Nov 03 20:12:15 2018 +0100
     1.3 @@ -257,7 +257,6 @@
     1.4  inlining into plain text.
     1.5  -}
     1.6  
     1.7 -
     1.8  module Isabelle.YXML (charX, charY, strX, strY, detect,
     1.9    buffer_body, buffer, string_of_body, string_of, parse_body, parse)
    1.10  where
     2.1 --- a/src/Tools/Haskell/YXML.hs	Sat Nov 03 20:09:39 2018 +0100
     2.2 +++ b/src/Tools/Haskell/YXML.hs	Sat Nov 03 20:12:15 2018 +0100
     2.3 @@ -8,7 +8,6 @@
     2.4  inlining into plain text.
     2.5  -}
     2.6  
     2.7 -
     2.8  module Isabelle.YXML (charX, charY, strX, strY, detect,
     2.9    buffer_body, buffer, string_of_body, string_of, parse_body, parse)
    2.10  where