NEWS
changeset 69592 a80d8ec6c998
parent 69588 2b85a9294b2a
child 69609 1d2d4ae9ab81
     1.1 --- a/NEWS	Thu Jan 03 22:30:41 2019 +0100
     1.2 +++ b/NEWS	Fri Jan 04 21:49:06 2019 +0100
     1.3 @@ -171,6 +171,10 @@
     1.4  section "Theory update". Theory sessions are specified as in "isabelle
     1.5  dump".
     1.6  
     1.7 +* The command-line tool "isabelle update -u control_cartouches" changes
     1.8 +antiquotations into control-symbol format (where possible): @{NAME}
     1.9 +becomes \<^NAME> and @{NAME ARG} becomes \<^NAME>\<open>ARG\<close>.
    1.10 +
    1.11  * Support for Isabelle command-line tools defined in Isabelle/Scala.
    1.12  Instances of class Isabelle_Scala_Tools may be configured via the shell
    1.13  function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle