tuned whitespace;
authorwenzelm
Sat Nov 03 20:00:45 2018 +0100 (6 months ago)
changeset 6922668f5dc2275ac
parent 69225 bf2fecda8383
child 69227 71b48b749836
tuned whitespace;
src/Tools/Haskell/Buffer.hs
src/Tools/Haskell/Haskell.thy
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
     1.1 --- a/src/Tools/Haskell/Buffer.hs	Sat Nov 03 19:33:15 2018 +0100
     1.2 +++ b/src/Tools/Haskell/Buffer.hs	Sat Nov 03 20:00:45 2018 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  {- GENERATED by Isabelle! -}
     1.5 +
     1.6  {-  Title:      Tools/Haskell/Buffer.hs
     1.7      Author:     Makarius
     1.8      LICENSE:    BSD 3-clause (Isabelle)
     2.1 --- a/src/Tools/Haskell/Haskell.thy	Sat Nov 03 19:33:15 2018 +0100
     2.2 +++ b/src/Tools/Haskell/Haskell.thy	Sat Nov 03 20:00:45 2018 +0100
     2.3 @@ -27,8 +27,8 @@
     2.4  
     2.5  section \<open>Source modules\<close>
     2.6  
     2.7 -generate_haskell_file Library.hs =
     2.8 -\<open>{-  Title:      Tools/Haskell/Library.hs
     2.9 +generate_haskell_file Library.hs = \<open>
    2.10 +{-  Title:      Tools/Haskell/Library.hs
    2.11      Author:     Makarius
    2.12      LICENSE:    BSD 3-clause (Isabelle)
    2.13  
    2.14 @@ -81,8 +81,8 @@
    2.15      _ -> line
    2.16  \<close>
    2.17  
    2.18 -generate_haskell_file Buffer.hs =
    2.19 -\<open>{-  Title:      Tools/Haskell/Buffer.hs
    2.20 +generate_haskell_file Buffer.hs = \<open>
    2.21 +{-  Title:      Tools/Haskell/Buffer.hs
    2.22      Author:     Makarius
    2.23      LICENSE:    BSD 3-clause (Isabelle)
    2.24  
    2.25 @@ -105,8 +105,8 @@
    2.26  content (Buffer xs) = concat (reverse xs)
    2.27  \<close>
    2.28  
    2.29 -generate_haskell_file Properties.hs =
    2.30 -\<open>{-  Title:      Tools/Haskell/Properties.hs
    2.31 +generate_haskell_file Properties.hs = \<open>
    2.32 +{-  Title:      Tools/Haskell/Properties.hs
    2.33      Author:     Makarius
    2.34      LICENSE:    BSD 3-clause (Isabelle)
    2.35  
    2.36 @@ -137,8 +137,8 @@
    2.37    else props
    2.38  \<close>
    2.39  
    2.40 -generate_haskell_file Markup.hs =
    2.41 -\<open>{-  Title:      Haskell/Tools/Markup.hs
    2.42 +generate_haskell_file Markup.hs = \<open>
    2.43 +{-  Title:      Haskell/Tools/Markup.hs
    2.44      Author:     Makarius
    2.45      LICENSE:    BSD 3-clause (Isabelle)
    2.46  
    2.47 @@ -167,8 +167,8 @@
    2.48  no_output = ("", "")
    2.49  \<close>
    2.50  
    2.51 -generate_haskell_file XML.hs =
    2.52 -\<open>{-  Title:      Tools/Haskell/XML.hs
    2.53 +generate_haskell_file XML.hs = \<open>
    2.54 +{-  Title:      Tools/Haskell/XML.hs
    2.55      Author:     Makarius
    2.56      LICENSE:    BSD 3-clause (Isabelle)
    2.57  
    2.58 @@ -248,8 +248,8 @@
    2.59        show_text = concatMap encode
    2.60  \<close>
    2.61  
    2.62 -generate_haskell_file YXML.hs =
    2.63 -\<open>{-  Title:      Tools/Haskell/YXML.hs
    2.64 +generate_haskell_file YXML.hs = \<open>
    2.65 +{-  Title:      Tools/Haskell/YXML.hs
    2.66      Author:     Makarius
    2.67      LICENSE:    BSD 3-clause (Isabelle)
    2.68  
     3.1 --- a/src/Tools/Haskell/Library.hs	Sat Nov 03 19:33:15 2018 +0100
     3.2 +++ b/src/Tools/Haskell/Library.hs	Sat Nov 03 20:00:45 2018 +0100
     3.3 @@ -1,4 +1,5 @@
     3.4  {- GENERATED by Isabelle! -}
     3.5 +
     3.6  {-  Title:      Tools/Haskell/Library.hs
     3.7      Author:     Makarius
     3.8      LICENSE:    BSD 3-clause (Isabelle)
     4.1 --- a/src/Tools/Haskell/Markup.hs	Sat Nov 03 19:33:15 2018 +0100
     4.2 +++ b/src/Tools/Haskell/Markup.hs	Sat Nov 03 20:00:45 2018 +0100
     4.3 @@ -1,4 +1,5 @@
     4.4  {- GENERATED by Isabelle! -}
     4.5 +
     4.6  {-  Title:      Haskell/Tools/Markup.hs
     4.7      Author:     Makarius
     4.8      LICENSE:    BSD 3-clause (Isabelle)
     5.1 --- a/src/Tools/Haskell/Properties.hs	Sat Nov 03 19:33:15 2018 +0100
     5.2 +++ b/src/Tools/Haskell/Properties.hs	Sat Nov 03 20:00:45 2018 +0100
     5.3 @@ -1,4 +1,5 @@
     5.4  {- GENERATED by Isabelle! -}
     5.5 +
     5.6  {-  Title:      Tools/Haskell/Properties.hs
     5.7      Author:     Makarius
     5.8      LICENSE:    BSD 3-clause (Isabelle)
     6.1 --- a/src/Tools/Haskell/XML.hs	Sat Nov 03 19:33:15 2018 +0100
     6.2 +++ b/src/Tools/Haskell/XML.hs	Sat Nov 03 20:00:45 2018 +0100
     6.3 @@ -1,4 +1,5 @@
     6.4  {- GENERATED by Isabelle! -}
     6.5 +
     6.6  {-  Title:      Tools/Haskell/XML.hs
     6.7      Author:     Makarius
     6.8      LICENSE:    BSD 3-clause (Isabelle)
     7.1 --- a/src/Tools/Haskell/YXML.hs	Sat Nov 03 19:33:15 2018 +0100
     7.2 +++ b/src/Tools/Haskell/YXML.hs	Sat Nov 03 20:00:45 2018 +0100
     7.3 @@ -1,4 +1,5 @@
     7.4  {- GENERATED by Isabelle! -}
     7.5 +
     7.6  {-  Title:      Tools/Haskell/YXML.hs
     7.7      Author:     Makarius
     7.8      LICENSE:    BSD 3-clause (Isabelle)