--- a/src/Tools/Haskell/Markup.hs Sat Nov 03 20:00:45 2018 +0100
+++ b/src/Tools/Haskell/Markup.hs Sat Nov 03 20:09:39 2018 +0100
@@ -1,4 +1,4 @@
-{- GENERATED by Isabelle! -}
+{- generated by Isabelle -}
{- Title: Haskell/Tools/Markup.hs
Author: Makarius