tuned message (e.g. see Options.save_prefs);
authorwenzelm
Sat Nov 03 20:09:39 2018 +0100 (6 months ago)
changeset 6922771b48b749836
parent 69226 68f5dc2275ac
child 69228 f4263f7ec9a4
tuned message (e.g. see Options.save_prefs);
src/Tools/Haskell/Buffer.hs
src/Tools/Haskell/Library.hs
src/Tools/Haskell/Markup.hs
src/Tools/Haskell/Properties.hs
src/Tools/Haskell/XML.hs
src/Tools/Haskell/YXML.hs
src/Tools/Haskell/haskell.ML
     1.1 --- a/src/Tools/Haskell/Buffer.hs	Sat Nov 03 20:00:45 2018 +0100
     1.2 +++ b/src/Tools/Haskell/Buffer.hs	Sat Nov 03 20:09:39 2018 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -{- GENERATED by Isabelle! -}
     1.5 +{- generated by Isabelle -}
     1.6  
     1.7  {-  Title:      Tools/Haskell/Buffer.hs
     1.8      Author:     Makarius
     2.1 --- a/src/Tools/Haskell/Library.hs	Sat Nov 03 20:00:45 2018 +0100
     2.2 +++ b/src/Tools/Haskell/Library.hs	Sat Nov 03 20:09:39 2018 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -{- GENERATED by Isabelle! -}
     2.5 +{- generated by Isabelle -}
     2.6  
     2.7  {-  Title:      Tools/Haskell/Library.hs
     2.8      Author:     Makarius
     3.1 --- a/src/Tools/Haskell/Markup.hs	Sat Nov 03 20:00:45 2018 +0100
     3.2 +++ b/src/Tools/Haskell/Markup.hs	Sat Nov 03 20:09:39 2018 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -{- GENERATED by Isabelle! -}
     3.5 +{- generated by Isabelle -}
     3.6  
     3.7  {-  Title:      Haskell/Tools/Markup.hs
     3.8      Author:     Makarius
     4.1 --- a/src/Tools/Haskell/Properties.hs	Sat Nov 03 20:00:45 2018 +0100
     4.2 +++ b/src/Tools/Haskell/Properties.hs	Sat Nov 03 20:09:39 2018 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -{- GENERATED by Isabelle! -}
     4.5 +{- generated by Isabelle -}
     4.6  
     4.7  {-  Title:      Tools/Haskell/Properties.hs
     4.8      Author:     Makarius
     5.1 --- a/src/Tools/Haskell/XML.hs	Sat Nov 03 20:00:45 2018 +0100
     5.2 +++ b/src/Tools/Haskell/XML.hs	Sat Nov 03 20:09:39 2018 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -{- GENERATED by Isabelle! -}
     5.5 +{- generated by Isabelle -}
     5.6  
     5.7  {-  Title:      Tools/Haskell/XML.hs
     5.8      Author:     Makarius
     6.1 --- a/src/Tools/Haskell/YXML.hs	Sat Nov 03 20:00:45 2018 +0100
     6.2 +++ b/src/Tools/Haskell/YXML.hs	Sat Nov 03 20:09:39 2018 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -{- GENERATED by Isabelle! -}
     6.5 +{- generated by Isabelle -}
     6.6  
     6.7  {-  Title:      Tools/Haskell/YXML.hs
     6.8      Author:     Makarius
     7.1 --- a/src/Tools/Haskell/haskell.ML	Sat Nov 03 20:00:45 2018 +0100
     7.2 +++ b/src/Tools/Haskell/haskell.ML	Sat Nov 03 20:09:39 2018 +0100
     7.3 @@ -18,7 +18,7 @@
     7.4  
     7.5  (* commands *)
     7.6  
     7.7 -val header = "{- GENERATED by Isabelle! -}\n";
     7.8 +val header = "{- generated by Isabelle -}\n";
     7.9  
    7.10  fun generate_file_cmd (file, source) =
    7.11    Toplevel.keep (fn state =>