Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Sat, 03 Nov 2018 20:12:15 +0100
changeset 69228 f4263f7ec9a4
parent 69227 71b48b749836
child 69229 043cbeb0b1cf
tuned whitespace;
src/Tools/Haskell/Haskell.thy file | annotate | diff | comparison | revisions
src/Tools/Haskell/YXML.hs file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle