# HG changeset patch # User wenzelm # Date 1541272179 -3600 # Node ID 71b48b7498360b4d896473071f3329f87d611a50 # Parent 68f5dc2275ac6b61e41ee3b596c799426e78c317 tuned message (e.g. see Options.save_prefs); diff -r 68f5dc2275ac -r 71b48b749836 src/Tools/Haskell/Buffer.hs --- a/src/Tools/Haskell/Buffer.hs Sat Nov 03 20:00:45 2018 +0100 +++ b/src/Tools/Haskell/Buffer.hs Sat Nov 03 20:09:39 2018 +0100 @@ -1,4 +1,4 @@ -{- GENERATED by Isabelle! -} +{- generated by Isabelle -} {- Title: Tools/Haskell/Buffer.hs Author: Makarius diff -r 68f5dc2275ac -r 71b48b749836 src/Tools/Haskell/Library.hs --- a/src/Tools/Haskell/Library.hs Sat Nov 03 20:00:45 2018 +0100 +++ b/src/Tools/Haskell/Library.hs Sat Nov 03 20:09:39 2018 +0100 @@ -1,4 +1,4 @@ -{- GENERATED by Isabelle! -} +{- generated by Isabelle -} {- Title: Tools/Haskell/Library.hs Author: Makarius diff -r 68f5dc2275ac -r 71b48b749836 src/Tools/Haskell/Markup.hs --- 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 diff -r 68f5dc2275ac -r 71b48b749836 src/Tools/Haskell/Properties.hs --- a/src/Tools/Haskell/Properties.hs Sat Nov 03 20:00:45 2018 +0100 +++ b/src/Tools/Haskell/Properties.hs Sat Nov 03 20:09:39 2018 +0100 @@ -1,4 +1,4 @@ -{- GENERATED by Isabelle! -} +{- generated by Isabelle -} {- Title: Tools/Haskell/Properties.hs Author: Makarius diff -r 68f5dc2275ac -r 71b48b749836 src/Tools/Haskell/XML.hs --- a/src/Tools/Haskell/XML.hs Sat Nov 03 20:00:45 2018 +0100 +++ b/src/Tools/Haskell/XML.hs Sat Nov 03 20:09:39 2018 +0100 @@ -1,4 +1,4 @@ -{- GENERATED by Isabelle! -} +{- generated by Isabelle -} {- Title: Tools/Haskell/XML.hs Author: Makarius diff -r 68f5dc2275ac -r 71b48b749836 src/Tools/Haskell/YXML.hs --- a/src/Tools/Haskell/YXML.hs Sat Nov 03 20:00:45 2018 +0100 +++ b/src/Tools/Haskell/YXML.hs Sat Nov 03 20:09:39 2018 +0100 @@ -1,4 +1,4 @@ -{- GENERATED by Isabelle! -} +{- generated by Isabelle -} {- Title: Tools/Haskell/YXML.hs Author: Makarius diff -r 68f5dc2275ac -r 71b48b749836 src/Tools/Haskell/haskell.ML --- a/src/Tools/Haskell/haskell.ML Sat Nov 03 20:00:45 2018 +0100 +++ b/src/Tools/Haskell/haskell.ML Sat Nov 03 20:09:39 2018 +0100 @@ -18,7 +18,7 @@ (* commands *) -val header = "{- GENERATED by Isabelle! -}\n"; +val header = "{- generated by Isabelle -}\n"; fun generate_file_cmd (file, source) = Toplevel.keep (fn state =>