NEWS
changeset 69217 be8c70794375
parent 69216 7062639cfdaa
child 69218 ab98f058f9dc
     1.1 --- a/NEWS	Tue Oct 30 22:05:30 2018 +0100
     1.2 +++ b/NEWS	Tue Oct 30 22:08:36 2018 +0100
     1.3 @@ -93,14 +93,14 @@
     1.4  Haskell string literal. This allows to refer to Isabelle items robustly,
     1.5  e.g. via Isabelle/ML antiquotations or library operations. For example:
     1.6  
     1.7 -ML \<open>
     1.8 +ML_command \<open>
     1.9    GHC.read_source \<^context> \<open>
    1.10      allConst, impConst, eqConst :: String
    1.11      allConst = \<open>\<^const_name>\<open>Pure.all\<close>\<close>
    1.12      impConst = \<open>\<^const_name>\<open>Pure.imp\<close>\<close>
    1.13      eqConst = \<open>\<^const_name>\<open>Pure.eq\<close>\<close>
    1.14    \<close>
    1.15 -  |> File.write \<^path>\<open>consts.hs\<close>
    1.16 +  |> writeln
    1.17  \<close>
    1.18  
    1.19