NEWS
changeset 69470 c8c3285f1294
parent 69381 4c9b4e2c5460
child 69506 7d59af98af29
     1.1 --- a/NEWS	Fri Dec 14 11:35:58 2018 +0100
     1.2 +++ b/NEWS	Fri Dec 14 11:43:48 2018 +0100
     1.3 @@ -122,6 +122,10 @@
     1.4  * ML antiquotation @{master_dir} refers to the master directory of the
     1.5  underlying theory, i.e. the directory of the theory file.
     1.6  
     1.7 +* ML antiquotation @{verbatim} inlines its argument as string literal,
     1.8 +preserving newlines literally. The short form \<^verbatim>\<open>abc\<close> is particularly
     1.9 +useful.
    1.10 +
    1.11  * Command 'generate_file' allows to produce sources for other languages,
    1.12  with antiquotations in the Isabelle context (only the control-cartouche
    1.13  form). The default "cartouche" antiquotation evaluates an ML expression